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 根菜类 是 水果或蔬菜 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4289-4289 根菜类 的名 是 "root crop"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4288-4288 根菜类 的名 是 "root vegetable"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4313-4313 根淀粉 和 根菜类 是 内部相关
No TPTP formula. May not be expressible in strict first order. Economy.kif 4295-4295 Beets 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4297-4297 胡萝卜 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4302-4302 Diakon 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4321-4321 食用块茎 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2582-2582 Garlic 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 2712-2712 Onion 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4304-4304 Parsnip 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4291-4291 萝卜 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4298-4298 Rutabaga 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. Food.kif 3401-3401 Shallot 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4294-4294 芜菁 是 根菜类 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50452-50452
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50451-50451
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50450-50450


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