| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14698-14698 | 子類 Carbohydrate and Nutrient |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14699-14699 | 子類 Carbohydrate and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9220-9220 | 子類 纖維素 and Carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9223-9223 | 子類 澱粉 and Carbohydrate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9227-9227 | 子類 糖 and Carbohydrate |
|
|