No TPTP formula. May not be expressible in strict first order. | Merge.kif 14698-14698 | Carbohydrate is a subclass of nutrient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14699-14699 | Carbohydrate is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9220-9220 | Cellulose is a subclass of carbohydrate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9223-9223 | Starch is a subclass of carbohydrate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9227-9227 | Sugar is a subclass of carbohydrate |