consequent

(=>     (instance ?S Sake)     (exists (?R ?F)         (and             (instance ?F Fermentation)             (resource ?F ?R)             (instance ?R Rice)             (result ?F ?S))))

Medicine.kif 3509-3516

If X is an instance of sake, then there exist Y, Z such that Z is an instance of fermentation, Y is a resource for Z, Y is an instance of Rice, and X is a result of Z

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners