PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • A proper class is a collection that can be put in bijection with the class of all ordinals, OrdOrd. But this requires the global axiom of choice to be correct.
http://www.w3.org/ns/prov#wasQuotedFrom
  • ncatlab.org