<https://w3id.org/framester/framenet/tbox/hasSubType> <http://www.w3.org/2000/01/rdf-schema#label> "has subtype"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/framenet/tbox/hasSubType> <http://www.w3.org/2000/01/rdf-schema#range> <https://w3id.org/framester/framenet/tbox/SemType> .
<https://w3id.org/framester/framenet/tbox/hasSubType> <http://www.w3.org/2000/01/rdf-schema#domain> <https://w3id.org/framester/framenet/tbox/SemType> .
<https://w3id.org/framester/framenet/tbox/hasSubType> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2002/07/owl#topObjectProperty> .
<https://w3id.org/framester/framenet/tbox/hasSubType> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <https://w3id.org/framester/schema/subsumes> .
<https://w3id.org/framester/framenet/tbox/hasSubType> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .