Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 299-306	If an object is an instance of food from plant, then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant
No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	If a kind of object is a subclass of mixture and every a kind of object is initially part of a meat and every the kind of object is initially part of a food from plant and every the kind of object is initially part of a potable water, then the kind of object is equal to soup stock
No TPTP formula. May not be expressible in strict first order.	Food.kif 294-294	Food from plant is a subclass of food
No TPTP formula. May not be expressible in strict first order.	Food.kif 1029-1029	Coffee grind is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Food.kif 1470-1470	Flour is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Food.kif 3323-3323	Raisin is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Food.kif 3509-3509	Tofu is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4149-4149	Grain is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4307-4307	Cereal starch is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4312-4312	Root starch is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4360-4360	Spice is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4469-4469	Edible nut is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4556-4556	Vegetable oil is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4625-4625	Coffee bean is a subclass of food from plant

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