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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TeaPlantAerialPart

 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 est une sous-classe de fruit ou v�g�tal

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4289-4289 RootVegetable s'appele nom "root crop"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4288-4288 RootVegetable s'appele nom "root vegetable"
No TPTP formula. May not be expressible in strict first order. Economy.kif 4313-4313 RootStarch est reli� � l'int�rieur de SUMO � RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4295-4295 Beets est une sous-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4297-4297 Carrot est une sous-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4302-4302 Diakon est une sous-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4321-4321 EdibleTuber est une sous-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2582-2582 Garlic est une sous-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 2712-2712 Onion est une sous-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4304-4304 Parsnip est une sous-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4291-4291 Radish est une sous-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4298-4298 Rutabaga est une sous-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Food.kif 3401-3401 Shallot est une sous-classe de RootVegetable
No TPTP formula. May not be expressible in strict first order. Economy.kif 4294-4294 Turnip est une sous-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 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