No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8559-8559 | Organic compound is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8572-8572 | Urea is a subclass of organic compound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8578-8578 | Steroid is a subclass of organic compound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8583-8583 | Hydrocarbon is a subclass of organic compound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8612-8612 | Alcohol is a subclass of organic compound |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8696-8696 | Amino acid is a subclass of organic compound |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5225-5225 | Wood product is a subclass of organic compound |