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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vegetable

 Sigma KEE - Vegetable
Vegetable(vegetable)chop-suey_greens, crudites, eater, green, greens, julienne, julienne_vegetable, leafy_vegetable, pepper, potherb, rabbit_food, raw_vegetable, solanaceous_vegetable, veg, vegetable, veggie

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 is a subclass of fruit or vegetable

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6197-6197 Vegetable is an industry product type of vegetable farming
No TPTP formula. May not be expressible in strict first order. Economy.kif 4234-4234 Cabbage is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4262-4262 Cauliflower is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2425-2425 Celery is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4220-4220 Cucumber is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4271-4271 Eggplant is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4464-4464 Ginger is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4210-4210 Leafy green vegetable is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4333-4333 Squash is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4334-4334 Sugar beet is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4352-4352 Sugar cane is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4332-4332 Sweet pepper is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 3647-3647 Water chestnut is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 3649-3649 Zucchini is a subclass of 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