<https://w3id.org/framester/framenet/tbox/hasSuperType> <http://www.w3.org/2000/01/rdf-schema#range> <https://w3id.org/framester/framenet/tbox/SemType> .
<https://w3id.org/framester/framenet/tbox/hasSuperType> <http://www.w3.org/2000/01/rdf-schema#domain> <https://w3id.org/framester/framenet/tbox/SemType> .
<https://w3id.org/framester/framenet/tbox/hasSuperType> <http://www.w3.org/2002/07/owl#inverseOf> <https://w3id.org/framester/framenet/tbox/hasSubType> .
<https://w3id.org/framester/framenet/tbox/hasSuperType> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.ontologydesignpatterns.org/cp/owl/specialization.owl#specializes> .
<https://w3id.org/framester/framenet/tbox/hasSuperType> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <https://w3id.org/framester/schema/subsumedUnder> .
<https://w3id.org/framester/framenet/tbox/hasSuperType> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .