@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

owl:InverseFunctionalProperty
	rdfs:subClassOf	owl:ObjectProperty .
owl:SymmetricProperty
	rdfs:subClassOf	owl:ObjectProperty .
owl:inverseOf
	rdfs:domain	owl:ObjectProperty ;
	rdfs:range	owl:ObjectProperty .
owl:TransitiveProperty
	rdfs:subClassOf	owl:ObjectProperty .
owl:ObjectProperty
	rdf:type	rdfs:Class ;
	rdfs:subClassOf	rdf:Property ;
	rdfs:label	"ObjectProperty" .