PropertyValue
rdf:type
rdfs:label
  • Theorem about triangles and circles
rdfs:subClassOf
prov:wasDerivedFrom
is rdf:type of