No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9227-9227 | Sugar is a subclass of carbohydrate |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4157-4157 | Sugar is a subclass of plant product |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4158-4158 | Sugar is a subclass of substance |