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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RootVegetable

 Sigma KEE - RootVegetable
RootVegetable(root vegetable)
root_vegetable

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 1451-1451
No TPTP formula. May not be expressible in strict first order. Economy.kif 4287-4287 Root 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 4289-4289 Root vegetable has name "root crop"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4288-4288 Root vegetable has name "root vegetable"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4313-4313 Root starch is internally related to root vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4295-4295 Beets is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4297-4297 Carrot is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4302-4302 Diakon is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4321-4321 Edible tuber is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2582-2582 Garlic is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2712-2712 Onion is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4304-4304 Parsnip is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4291-4291 Radish is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4298-4298 Rutabaga is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 3401-3401 Shallot is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4294-4294 Turnip is a subclass of root vegetable
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50450-50450
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50449-50449
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50448-50448


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