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

Annotations
rdfs:comment
To add in OWL 1.1: 'exactly-coincide' is reflexive, 'exactly-coincide' is symetric, 'exactly-coincide' is transitive
Definition exactly-coincide: exactly-coincide(a, b) iff forall x:( meet(x, a) iff meet(x, b) )

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

Other Properties
rdf:type
owl:TransitiveProperty
owl:SymmetricProperty

References

Generated with TopBraid Composer by TopQuadrant, Inc.