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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 RootVegetable 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 4289-4289 RootVegetable se chama nome "root crop"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4288-4288 RootVegetable se chama nome "root vegetable"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4313-4313 RootStarch e' relacionado internamente por SUMO a RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4295-4295 Beets e' uma sub-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4297-4297 Carrot e' uma sub-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4302-4302 Diakon e' uma sub-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4321-4321 EdibleTuber e' uma sub-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2582-2582 Garlic e' uma sub-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2712-2712 Onion e' uma sub-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4304-4304 Parsnip e' uma sub-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4291-4291 Radish e' uma sub-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4298-4298 Rutabaga e' uma sub-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 3401-3401 Shallot e' uma sub-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4294-4294 Turnip e' uma sub-classe de RootVegetable
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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