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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Carbohydrate
Carbohydrate

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


(documentation Carbohydrate ChineseLanguage "这是活细胞的一种元素,也是 Animal 能量的来源。这 个类别既包括简单的 Carbohydrate 如糖,也包括复合的 Carbohydrate, 即是淀粉。") chinese_format.kif 3453-3454
(documentation Carbohydrate EnglishLanguage "A compound 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 14747-14749
(externalImage Carbohydrate "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Alfa_d-glucose.png") pictureList.kif 4580-4580
(subclass Carbohydrate CompoundSubstance) Merge.kif 14746-14746 子類 Carbohydrate and CompoundSubstance
(subclass Carbohydrate Nutrient) Merge.kif 14745-14745 子類 Carbohydrate and Nutrient

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


(subclass Cellulose Carbohydrate) Mid-level-ontology.kif 9471-9471 子類 纖維素 and Carbohydrate
(subclass Starch Carbohydrate) Mid-level-ontology.kif 9474-9474 子類 澱粉 and Carbohydrate
(subclass Sugar Carbohydrate) Mid-level-ontology.kif 9478-9478 子類 and Carbohydrate
(termFormat ChineseLanguage Carbohydrate "碳水化物") chinese_format.kif 1008-1008 子類 and Carbohydrate
(termFormat EnglishLanguage Carbohydrate "carbohydrate") english_format.kif 1228-1228 子類 and Carbohydrate
(termFormat FrenchLanguage Carbohydrate "hydrate de carbone") french_format.kif 685-685 子類 and Carbohydrate
(termFormat Hindi Carbohydrate "kaarbohaaidreta") terms-hindi.txt 216-216 子類 and Carbohydrate
(termFormat ItalianLanguage Carbohydrate "Carboidrato") terms-it.txt 219-219 子類 and Carbohydrate
(termFormat JapaneseLanguage Carbohydrate "炭水化物") japanese_format.kif 2369-2369 子類 and Carbohydrate
(termFormat PortugueseLanguage Carbohydrate "Carbohidrato") portuguese_format.kif 637-637 子類 and Carbohydrate
(termFormat cz Carbohydrate "carbohydrate") terms-cz.txt 253-253 子類 and Carbohydrate
(termFormat de Carbohydrate "Kohlenhydrat") terms-de.txt 512-512 子類 and Carbohydrate
(termFormat ro Carbohydrate "carbohidrat") relations-ro.kif 706-706 子類 and Carbohydrate
(termFormat tg Carbohydrate "pagkaing nakapagpabigat") terms-tg.txt 220-220 子類 and Carbohydrate

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14729-14729 不相交分解 Nutrient, 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 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