Gas(gas) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31457-31457 | roomTempState nitrogen and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31630-31630 | roomTempState nitrogen dioxide and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31550-31550 | roomTempState nitrogen mustard gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31458-31458 | roomTempState oxygen and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31634-31634 | roomTempState phosgene and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31647-31647 | roomTempState sarin and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31659-31659 | roomTempState sulphur dioxide and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31549-31549 | roomTempState sulphur mustard gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31669-31669 | roomTempState V series nerve agent and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31670-31670 | roomTempState VX and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31504-31504 | 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 |