No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31453-31453 |
roomTempState nitrogen and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31626-31626 |
roomTempState nitrogen dioxide and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31546-31546 |
roomTempState nitrogen mustard gas and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31454-31454 |
roomTempState oxygen and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31630-31630 |
roomTempState phosgene and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31643-31643 |
roomTempState sarin and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31655-31655 |
roomTempState sulphur dioxide and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31545-31545 |
roomTempState sulphur mustard gas and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31665-31665 |
roomTempState V series nerve agent and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31666-31666 |
roomTempState VX and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31500-31500 |
roomTempState xenon and gas |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2736-2736 |
Greenhouse gas is a subclass of gas |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25508-25508 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25507-25507 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25506-25506 |
|