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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Carbohydrate

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 14700-14702
(externalImage Carbohydrate "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Alfa-d-glucose.png") pictureList.kif 4581-4581
(subclass Carbohydrate CompoundSubstance) Merge.kif 14699-14699
(subclass Carbohydrate Nutrient) Merge.kif 14698-14698

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


(subclass Cellulose Carbohydrate) Mid-level-ontology.kif 9220-9220
(subclass Starch Carbohydrate) Mid-level-ontology.kif 9223-9223
(subclass Sugar Carbohydrate) Mid-level-ontology.kif 9227-9227
(termFormat ChineseLanguage Carbohydrate "碳水化物") chinese_format.kif 1008-1008
(termFormat EnglishLanguage Carbohydrate "carbohydrate") english_format.kif 1228-1228
(termFormat FrenchLanguage Carbohydrate "hydrate de carbone") french_format.kif 685-685
(termFormat Hindi Carbohydrate "kaarbohaaidreta") terms-hindi.txt 216-216
(termFormat ItalianLanguage Carbohydrate "Carboidrato") terms-it.txt 219-219
(termFormat JapaneseLanguage Carbohydrate "炭水化物") japanese_format.kif 2369-2369
(termFormat PortugueseLanguage Carbohydrate "Carbohidrato") portuguese_format.kif 637-637
(termFormat cz Carbohydrate "carbohydrate") terms-cz.txt 253-253
(termFormat ro Carbohydrate "carbohidrat") relations-ro.kif 706-706
(termFormat tg Carbohydrate "pagkaing nakapagpabigat") terms-tg.txt 220-220

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14682-14682

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