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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RootStarch

 Sigma KEE - RootStarch
RootStarch

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


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 4312-4312 RootStarch est une sous-classe de FoodFromPlant

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4318-4318 ArrowrootStarch est une sous-classe de RootStarch
No TPTP formula. May not be expressible in strict first order. Economy.kif 4314-4314 PotatoStarch est une sous-classe de RootStarch
No TPTP formula. May not be expressible in strict first order. Economy.kif 4316-4316 TapiocaStarch est une sous-classe de RootStarch
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50444-50444
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50443-50443
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50442-50442


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