No TPTP formula. May not be expressible in strict first order. | Merge.kif 14720-14720 | Carbohydrate is a subclass of nutrient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14721-14721 | Carbohydrate is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9219-9219 | Cellulose is a subclass of carbohydrate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9222-9222 | Starch is a subclass of carbohydrate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9226-9226 | Sugar is a subclass of carbohydrate |
![]() |