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

Annotations
rdfs:comment
Specifies that some thing is composed_of (spatially) within some other thing

Property Axioms
owl:inverseOf
mereo:composed_of
rdfs:subPropertyOf
mereo:part_of

Other Properties
rdf:type
owl:TransitiveProperty

References

Generated with TopBraid Composer by TopQuadrant, Inc.