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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Starch

 Sigma KEE - Starch
Starch(starch)
Otaheite_arrowroot, Otaheite_arrowroot_starch, amylum, arrowroot, arum, cassava, cassava_starch, cornflour, cornstarch, manioc, manioca, pearl_sago, sago, starch

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9224-9225
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6893-6893
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9223-9223 Starch is a subclass of carbohydrate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55050-55050
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55049-55049
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55048-55048


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