PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • So, if one were exhibited, that would befascinating.However, there is a set known to have cardinality aleph-1, the set ofwell-orderings of the integers.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathforum.org