| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3453-3454 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14838-14840 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4580-4580 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14837-14837 | Carbohydrate is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14836-14836 | Carbohydrate is a subclass of nutrient |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10567-10567 | Cellulose is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10570-10570 | Starch is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10574-10574 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1008-1008 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1228-1228 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 685-685 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 216-216 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 219-219 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2369-2369 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 637-637 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 253-253 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 512-512 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 706-706 | Sugar is a subclass of carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 220-220 | Sugar is a subclass of carbohydrate |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14820-14820 | Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3554-3561 |
|
|
|
|