Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Carbohydrate Nutrient) | Merge.kif 15010-15010 | Carbohydrate is a subclass of nutrient |
| (subclass Carbohydrate CompoundSubstance) | Merge.kif 15011-15011 | Carbohydrate is a subclass of compound substance |
| (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 15012-15014 | Carbohydrate is a subclass of compound substance |
| (externalImage Carbohydrate "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Alfa_d-glucose.png") | pictureList.kif 4580-4580 | Carbohydrate is a subclass of compound substance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (disjointDecomposition Nutrient Protein Carbohydrate Vitamin) | Merge.kif 14994-14994 | 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 3585-3592 | If X is an instance of fermentation, then there exist Y, Z such that Y is an instance of carbohydrate, Z is an instance of microorganism, Z is an instrument for X, and Y is a resource for X |
|