mereo:strict

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

Annotations

rdfs:comment

Non transitive part relation

Property Axioms

owl:equivalentProperty

mereo:direct_part

owl:inverseOf

mereo:strict_part_of

rdfs:subPropertyOf

mereo:part

Other Properties

rdf:type

owl:ObjectProperty

References

as owl:equivalentClass (mereo:Whole)
as owl:equivalentProperty (mereo:direct_part)
as owl:inverseOf (mereo:strict_part_of)
as rdfs:subClassOf (mereo:Pair, mereo:Whole)
as rdfs:subPropertyOf (mereo:component, mereo:member)

References
as owl:equivalentClass (mereo:Whole) as owl:equivalentProperty (mereo:direct_part) as owl:inverseOf (mereo:strict_part_of) as rdfs:subClassOf (mereo:Pair, mereo:Whole) as rdfs:subPropertyOf (mereo:component, mereo:member)