PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • Not even all regular polytopes would have this property: any polytope having property X would have vertex figures with at most two kinds of distances between its vertices, and the 24- and 600-cells have the cube and the icosahedron for a vertex figure.
http://www.w3.org/ns/prov#wasQuotedFrom
  • mathoverflow.net