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 NitrogenDioxide and Gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31550-31550 | roomTempState NitrogenMustardGas 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 SulphurDioxide and Gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31549-31549 | roomTempState SulphurMustardGas and Gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31669-31669 | roomTempState VSeriesNerveAgent 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 | GreenhouseGas e' uma sub-classe de 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 |