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

Annotations
rdfs:comment
To add in OWL 1.1: 'partially-coincide' is reflexive, 'partially-coincide' is disjoint with 'abut'
Definition partially-coincide: partially-coincide(a, b) iff exists x :( cover(a, x) and cover(b, x) )

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

Other Properties
rdf:type
owl:SymmetricProperty

References

Generated with TopBraid Composer by TopQuadrant, Inc.