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
-------------------------


(documentation Carbohydrate ChineseLanguage "这是活细胞的一种元素,也是 Animal 能量的来源。这 个类别既包括简单的 Carbohydrate 如糖,也包括复合的 Carbohydrate, 即是淀粉。") chinese_format.kif 3453-3454
(documentation Carbohydrate EnglishLanguage "An element of living cells and a source of energy for Animals. This class includes both simple Carbohydrates, i.e. sugars, and complex Carbohydrates, i.e. starches.") Merge.kif 13689-13691
(externalImage Carbohydrate "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Alfa-d-glucose.png") pictureList.kif 4582-4582
(subclass Carbohydrate Nutrient) Merge.kif 13688-13688 Carbohydrate is a subclass of nutrient

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


(subclass Cellulose Carbohydrate) Mid-level-ontology.kif 8073-8073 Cellulose is a subclass of carbohydrate
(subclass Starch Carbohydrate) Mid-level-ontology.kif 8076-8076 Starch is a subclass of carbohydrate
(subclass Sugar Carbohydrate) Mid-level-ontology.kif 8080-8080 Sugar is a subclass of carbohydrate
(termFormat ChineseLanguage Carbohydrate "碳水化物") chinese_format.kif 1008-1008
(termFormat EnglishLanguage Carbohydrate "carbohydrate") english_format.kif 1233-1233

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 13673-13673 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin

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


(=>
    (instance ?F Fermentation)
    (exists (?C ?M)
        (and
            (instance ?C Carbohydrate)
            (instance ?M Microorganism)
            (instrument ?F ?M)
            (resource ?F ?C))))
Food.kif 978-985


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