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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RootVegetable

 Sigma KEE - RootVegetable
RootVegetable(根菜類)

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 子類 根菜類 and FruitOrVegetable

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4289-4289 名 "root crop" and 根菜類
No TPTP formula. May not be expressible in strict first order. Economy.kif 4288-4288 名 "root vegetable" and 根菜類
No TPTP formula. May not be expressible in strict first order. Economy.kif 4313-4313 相關的內部概念 根澱粉 and 根菜類
No TPTP formula. May not be expressible in strict first order. Economy.kif 4295-4295 子類 Beets and 根菜類
No TPTP formula. May not be expressible in strict first order. Economy.kif 4297-4297 子類 胡蘿蔔 and 根菜類
No TPTP formula. May not be expressible in strict first order. Economy.kif 4302-4302 子類 Diakon and 根菜類
No TPTP formula. May not be expressible in strict first order. Economy.kif 4321-4321 子類 食用塊莖 and 根菜類
No TPTP formula. May not be expressible in strict first order. Food.kif 2582-2582 子類 Garlic and 根菜類
No TPTP formula. May not be expressible in strict first order. Food.kif 2712-2712 子類 Onion and 根菜類
No TPTP formula. May not be expressible in strict first order. Economy.kif 4304-4304 子類 Parsnip and 根菜類
No TPTP formula. May not be expressible in strict first order. Economy.kif 4291-4291 子類 蘿蔔 and 根菜類
No TPTP formula. May not be expressible in strict first order. Economy.kif 4298-4298 子類 Rutabaga and 根菜類
No TPTP formula. May not be expressible in strict first order. Food.kif 3401-3401 子類 Shallot and 根菜類
No TPTP formula. May not be expressible in strict first order. Economy.kif 4294-4294 子類 蕪菁 and 根菜類
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