PropertyValue
rdfs:label
  • theorem
rdfs:subClassOf
is rdf:type of