Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FoodFromPlant
FoodFromPlant

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 子類 FoodFromPlant and Food

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 292-292 不相交的 Meat and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4307-4307 子類 CerealStarch and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4625-4625 子類 咖啡豆 and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Food.kif 1029-1029 子類 CoffeeGrind and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4469-4469 子類 食用堅果 and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Food.kif 1470-1470 子類 麵粉 and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4149-4149 子類 Grain and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Food.kif 3323-3323 子類 Raisin and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4312-4312 子類 根澱粉 and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4360-4360 子類 香料 and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Food.kif 3509-3509 子類 Tofu and FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4556-4556 子類 植物油 and FoodFromPlant
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
No TPTP formula. May not be expressible in strict first order. Food.kif 299-306


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