(=>     (instance ?strait Strait)     (exists (?body1 ?body2)         (and             (instance ?body1 BodyOfWater)             (instance ?body2 BodyOfWater)             (connects ?strait ?body1 ?body2))))

Geography.kif 5297-5303

Objet est une instance de Strait objet objet objet est une instance de BodyOfWater objet est une instance de BodyOfWater objet relie objet et objet

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners