No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31464-31464 |
roomTempState Argon and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31552-31552 |
roomTempState Arsine and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31567-31567 |
roomTempState BZGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31586-31586 |
roomTempState CSGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31570-31570 |
roomTempState CarbonDioxide and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31574-31574 |
roomTempState ChlorineGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31575-31575 |
roomTempState Chlorofluorocarbon and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31576-31576 |
roomTempState Chloropicrin and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31577-31577 |
roomTempState ChokingAgent and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31590-31590 |
roomTempState Diphosgene and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31595-31595 |
roomTempState Exhaust and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31455-31455 |
roomTempState Fluorine and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31596-31596 |
roomTempState Freon12 and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31598-31598 |
roomTempState GasMixture and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31604-31604 |
roomTempState GreenhouseGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31608-31608 |
roomTempState Hashish and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31447-31447 |
roomTempState Helium and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31609-31609 |
roomTempState Heroin and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31446-31446 |
roomTempState Hydrogen and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31482-31482 |
roomTempState Krypton and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31392-31392 |
roomTempState LiquefiedPetroleumGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31544-31544 |
roomTempState MustardGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31623-31623 |
roomTempState NaturalGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31456-31456 |
roomTempState Neon and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31625-31625 |
roomTempState NitricOxide and Gas |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |