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 e' uma sub-classe de Fruta ou Vegetal

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 e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4262-4262 Cauliflower e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2425-2425 Celery e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4220-4220 Cucumber e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4271-4271 Eggplant e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4464-4464 Ginger e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4210-4210 LeafyGreenVegetable e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4333-4333 Squash e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4334-4334 SugarBeet e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4352-4352 SugarCane e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4332-4332 SweetPepper e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 3647-3647 WaterChestnut e' uma sub-classe de Vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 3649-3649 Zucchini e' uma sub-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