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

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

Property Axioms
owl:inverseOf
mereo:contained_in
rdfs:subPropertyOf
mereo:part

Other Properties
rdf:type
owl:TransitiveProperty

References

Generated with TopBraid Composer by TopQuadrant, Inc.