antecedent

(=>     (and         (instance ?T TimePeriod)         (duration ?T             (MeasureFn ?N MinuteDuration))         (greaterThan ?N 5.0)         (instance ?H Human)         (not             (exists (?B)                 (and                     (instance ?B Breathing)                     (during                         (WhenFn ?B) ?T)                     (patient ?B ?H)))))     (modalAttribute         (exists (?D)             (and                 (instance ?D Death)                 (experiencer ?D ?H)                 (meetsTemporally ?T                     (WhenFn ?D)))) Likely))

Medicine.kif 6028-6048

If X is an instance of TimePeriod, duration of X is Y minute duration(s), Y is greater than 5.0, Z is an instance of human, and there doesn't exist W such that W is an instance of breathing, the time of existence of W takes place during X, and Z is a patient of W, then the statement there exists V such that V is an instance of death, Z experiences V, and X meets the time of existence of V has the modal force of likely

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