consequent

(=>     (and         (instance ?RIVER River)         (instance ?WATER BodyOfWater)         (flows ?RIVER ?WATER))     (exists (?MOUTH)         (and             (instance ?MOUTH RiverMouth)             (streamOutfall ?MOUTH ?RIVER)             (connected ?MOUTH ?WATER))))	Geography.kif 7197-7206	If a river is an instance of river and an object is an instance of body of water and the object is a flows of the river, then there exists a water area such that the water area is an instance of river mouth and the water area is the outfall of the river and the water area is connected to the object
(=>     (instance ?Delta Delta)     (exists (?Mouth)         (and             (instance ?Mouth RiverMouth)             (meetsSpatially ?Mouth ?Delta))))	Geography.kif 7318-7323	If an object is an instance of delta, then there exists another object such that the other object is an instance of river mouth and the other object meets the object
(=>     (instance ?WATER Estuary)     (exists (?MOUTH)         (and             (instance ?MOUTH RiverMouth)             (overlapsSpatially ?MOUTH ?WATER))))	Geography.kif 6726-6731	If an object is an instance of estuary, then there exists another object such that the other object is an instance of river mouth and the other object and the object overlapsSpatially

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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