No TPTP formula. May not be expressible in strict first order.	Food.kif 1680-1685	If a collection is an instance of meal, then for all a physical if the physical is a member of the collection, then the physical is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Food.kif 315-317	If an entity is an instance of prepared food, then the entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	If a class is a subclass of potable water, then the class is a subclass of food for human

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