No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8617-8618 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31619-31619 |
roomTempState industrial alcohol and liquid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8615-8615 |
Industrial alcohol is a subclass of alcohol |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8616-8616 |
Industrial alcohol is a subclass of poison |