antecedent

(=>     (and         (instance ?F Flooding)         (eventLocated ?F ?P))     (exists (?L1 ?L2 ?U)         (and             (instance ?U UnitOfLength)             (holdsDuring                 (BeginFn                     (WhenFn ?F))                 (waterDepth ?P                     (MeasureFn ?L1 ?U)))             (holdsDuring                 (EndFn                     (WhenFn ?F))                 (waterDepth ?P                     (MeasureFn ?L2 ?U)))             (greaterThan ?L2 ?L1))))	Mid-level-ontology.kif 19505-19520	If X is an instance of flooding and X is located at Y, then there exist Z, W and V such that V is an instance of unit of length and Z V(s) is a water depth of Y holds during the beginning of the time of existence of X and W V(s) is a water depth of Y holds during the end of the time of existence of X and W is greater than Z
(=>     (and         (instance ?F Flooding)         (instance ?L LandArea)         (eventLocated ?F ?L)         (instance ?T TimePoint)         (before ?T             (WhenFn ?F)))     (modalAttribute         (holdsDuring ?T             (instance ?L SubmergedLandArea)) Unlikely))	Weather.kif 2907-2917	If X is an instance of flooding, Y is an instance of land area, X is located at Y, Z is an instance of time point, and Z happens before the time of existence of X, then the statement Y is an instance of submerged land area holds during Z has the modal force of unlikely

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

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners