http://www.estrellaproject.org/lkif-core/relative-places.owl#cover
Property places:cover

Annotations
rdfs:comment
Specifies that two places cover eachother. Note: this cover-relation is the inverse of the COV relation described by Donnelly (2005)
Definition cover: cover(a, b) iff forall x:( meet(x, b) implies meet(x, a) )
To add in OWL 1.1: 'cover' is reflexive, 'cover' is transitive

Property Axioms
owl:inverseOf
places:covered_by
rdfs:domain
places:Place
rdfs:range
places:Place
rdfs:subPropertyOf
places:meet

Other Properties
rdf:type
owl:TransitiveProperty

References

Generated with TopBraid Composer by TopQuadrant, Inc.