statement s rdfs:domain o statement x s y statement x rdf:type o statement s rdfs:range o statement x s y statement y rdf:type o statement s rdfs:subPropertyOf o statement x s y statement x o y statement s rdfs:subClassOf o statement x rdf:type s statement x rdf:type o statement s rdf:type owl:FunctionalProperty statement x s y1 statement x s y2 statement y1 owl:sameAs y2 statement s rdf:type owl:InverseFunctionalProperty statement x1 s y statement x2 s y statement x1 owl:sameAs x2 statement s rdf:type owl:SymmetricProperty statement x s y statement y s x statement s rdf:type owl:TransitiveProperty statement x s y statement y s z statement x s z statement s owl:equivalentClass o statement s rdfs:subClassOf o statement o rdfs:subClassOf s statement s owl:disjointWith o statement x rdf:type s statement x rdf:type o statement s owl:equivalentProperty o statement s rdfs:subPropertyOf o statement o rdfs:subPropertyOf s statement s owl:inverseOf o statement x s y statement y o x statement x o y statement y s x statement s owl:sameAs o sameas s o statement s owl:differentFrom o differentfrom s o statement s owl:complementOf o statement x rdf:type s statement x rdf:type o statement s owl:complementOf o statement x rdf:type owl:Thing statement x rdf:type s statement x rdf:type o statement s owl:unionOf o statement o rdfs:subClassOf s statement s owl:unionOf o statement x rdf:type s y statement s owl:unionOf y statement x rdf:type y statement s owl:intersectionOf o statement s rdfs:subClassOf o y statement s owl:intersectionOf y statement x rdf:type y statement x rdf:type s statement s owl:oneOf o statement o rdf:type s statement s owl:oneOf o statement x rdf:type s y statement s owl:oneOf y sameas s o statement s owl:allValuesFrom o statement s owl:onProperty p y statement x p y statement y rdf:type o statement x rdf:type s statement s owl:allValuesFrom o statement s owl:onProperty p statement x rdf:type s statement x p y statement y rdf:type o statement s owl:someValuesFrom o statement s owl:onProperty p statement x p y statement y rdf:type o statement x rdf:type s statement s owl:someValuesFrom o statement s owl:onProperty p statement x rdf:type s y statement x p y statement y rdf:type o statement x owl:hasValue y statement x owl:onProperty p statement u rdf:type x statement u p y statement x owl:hasValue y statement x owl:onProperty p statement u p y statement u rdf:type x statement x owl:minCardinality y statement x owl:onProperty p statement u rdf:type owl:Thing swrlb:greaterThanOrEqual count statement u p v y statement u rdf:type x statement x owl:minCardinality y statement x owl:onProperty p statement u rdf:type x swrlb:greaterThanOrEqual count statement u p v y statement x owl:maxCardinality y statement x owl:onProperty p statement u rdf:type owl:Thing swrlb:lessThanOrEqual count statement u p v y statement u rdf:type x statement x owl:maxCardinality y statement x owl:onProperty p statement u rdf:type x swrlb:lessThanOrEqual count statement u p v y statement x owl:cardinality y statement x owl:onProperty p statement u rdf:type owl:Thing swrlb:equal count statement u p v y statement u rdf:type x statement x owl:cardinality y statement x owl:onProperty p statement u rdf:type x swrlb:equal count statement u p v y