No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8612-8612 | 子類 醇 and 有機化合物 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8616-8616 | 子類 Methanol and 醇 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8637-8637 | 子類 Ethanol and 醇 |