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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FoodFromPlant

 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 e' uma sub-classe de Comida

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


No TPTP formula. May not be expressible in strict first order. Food.kif 292-292 Carne e' disjunto de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4307-4307 CerealStarch e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4625-4625 CoffeeBean e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Food.kif 1029-1029 CoffeeGrind e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4469-4469 EdibleNut e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Food.kif 1470-1470 Flour e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4149-4149 Grain e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Food.kif 3323-3323 Raisin e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4312-4312 RootStarch e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4360-4360 Spice e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Food.kif 3509-3509 Tofu e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4556-4556 VegetableOil e' uma sub-classe de 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 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