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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Carbohydrate
Carbohydrate(carbohydrate)
aldohexose, aldose, animal_starch, beet_sugar, blood_glucose, blood_sugar, brain_sugar, cane_sugar, carbohydrate, corn_sugar, deoxyribose, dextrin, dextroglucose, dextrose, disaccharide, fructose, fruit_sugar, galactose, glucose, glycogen, grape_sugar, hexose, inulin, invert_sugar, ketohexose, ketose, lactose, laevulose, levulose, malt_sugar, maltose, maple_sugar, milk_sugar, monosaccharide, monosaccharose, mucopolysaccharide, oligosaccharide, pectic, pectin, pentose, polyose, polysaccharide, raffinose, ribose, saccharide, saccharose, simple_sugar, stachyose, starch, sucrose...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3453-3454
No TPTP formula. May not be expressible in strict first order. Merge.kif 14700-14702
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4581-4581
No TPTP formula. May not be expressible in strict first order. Merge.kif 14699-14699 Carbohydrate is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14698-14698 Carbohydrate is a subclass of nutrient

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9220-9220 Cellulose is a subclass of carbohydrate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9223-9223 Starch is a subclass of carbohydrate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9227-9227 Sugar is a subclass of carbohydrate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1008-1008
No TPTP formula. May not be expressible in strict first order. english_format.kif 1228-1228
No TPTP formula. May not be expressible in strict first order. french_format.kif 685-685
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 216-216
No TPTP formula. May not be expressible in strict first order. terms-it.txt 219-219
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2369-2369
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 637-637
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 253-253
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 706-706
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 220-220

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14682-14682 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 3547-3554


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