PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • DO you think this is the best way to capture the intuitive notion that the vertex of the cone is a location at which the manifold is not smooth, especially in comparison to the other question I linked to about proving immersing the cone in $\mathbb R^3$?
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com