PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • ??? Higher order derivatives of signum are denoted by signum(n, x), where n is a positive integer.
http://www.w3.org/ns/prov#wasQuotedFrom
  • maplesoft.com