mereo:strict_part

http://www.estrellaproject.org/lkif-core/mereology.owl#strict_part_of
Property mereo:strict_part_of

Annotations

rdfs:comment

Non transitive part_of relation

Property Axioms

owl:equivalentProperty

mereo:direct_part_of

owl:inverseOf

mereo:strict_part

rdfs:subPropertyOf

mereo:part_of

Other Properties

rdf:type

owl:ObjectProperty

References

as owl:equivalentClass (mereo:Part)
as owl:equivalentProperty (mereo:direct_part_of)
as owl:inverseOf (mereo:strict_part)
as rdfs:subClassOf (mereo:Part, laction:Assignment, laction:Delegation, laction:Mandate)
as rdfs:subPropertyOf (mereo:component_of, mereo:member_of)

References
as owl:equivalentClass (mereo:Part) as owl:equivalentProperty (mereo:direct_part_of) as owl:inverseOf (mereo:strict_part) as rdfs:subClassOf (mereo:Part, laction:Assignment, laction:Delegation, laction:Mandate) as rdfs:subPropertyOf (mereo:component_of, mereo:member_of)