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 14853-14855
(externalImage Carbohydrate "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Alfa_d-glucose.png") pictureList.kif 4580-4580
(subclass Carbohydrate CompoundSubstance) Merge.kif 14852-14852 炭水化物合成物質subclass では
(subclass Carbohydrate Nutrient) Merge.kif 14851-14851 炭水化物栄養素[栄養物]subclass では

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


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

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14835-14835 栄養素[栄養物]たんぱく質, 炭水化物, + ビタミンdisjointly decomposed

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


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


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