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