TreeView Knowledge Base Browser - FoodFromPlant

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FoodFromPlant

FoodFromPlant(food from plant)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 295-296
No TPTP formula. May not be expressible in strict first order.	Food.kif 294-294	Food from plant is a subclass of food

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 292-292	Meat is disjoint from 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 4625-4625	Coffee bean is a subclass of food from plant
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.	Economy.kif 4469-4469	Edible nut 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.	Economy.kif 4149-4149	Grain 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.	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.	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 4556-4556	Vegetable oil is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Food.kif 297-297

antecedent

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 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

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 is open source software produced by Articulate Software and its partners