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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vegetable

 Sigma KEE - Vegetable
Vegetable

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 4211-4212
No TPTP formula. May not be expressible in strict first order. Economy.kif 4207-4207
No TPTP formula. May not be expressible in strict first order. Economy.kif 4206-4206 Vegetable est une sous-classe de fruit ou v�g�tal

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6197-6197 industryProductType VegetableFarming and Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4234-4234 Cabbage est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4262-4262 Cauliflower est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2425-2425 Celery est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4220-4220 Cucumber est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4271-4271 Eggplant est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4464-4464 Ginger est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4210-4210 LeafyGreenVegetable est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4333-4333 Squash est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4334-4334 SugarBeet est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4352-4352 SugarCane est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4332-4332 SweetPepper est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 3647-3647 WaterChestnut est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 3649-3649 Zucchini est une sous-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61304-61304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61303-61303
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61302-61302


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