antecedent

(=>     (instance ?W Whiskey)     (exists (?D ?CG)         (and             (instance ?D Distilling)             (instance ?CG CerealGrain)             (resource ?D ?CG)             (result ?D ?W))))	Food.kif 3645-3652	If X is an instance of whiskey, then there exist Y, Z such that Y is an instance of distilling, Z is an instance of cereal grain, Z is a resource for Y, and X is a result of Y
(=>     (and         (instance ?W Whiskey)         (instance ?D Distilling)         (result ?D ?W)         (resource ?DR ?W)         (instance ?DR Drinking))     (exists (?C ?T ?H)         (and             (instance ?C Cask)             (instance ?H HoleRegion)             (hole ?H ?C)             (holdsDuring ?T                 (partiallyFills ?W ?C))             (earlier ?D ?T)             (earlier ?T ?DR))))	Food.kif 3654-3669	If X is an instance of whiskey, Y is an instance of distilling, X is a result of Y, X is a resource for Z, and Z is an instance of drinking, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of cask (3) U is an instance of hole (4) U is a hole in W (5) X partially fills W holds during V (6) Y happens earlier than V (7) V happens earlier than Z

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