No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31468-31468 |
roomTempState Argon and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31556-31556 |
roomTempState Arsine and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31571-31571 |
roomTempState BZGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31590-31590 |
roomTempState CSGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31574-31574 |
roomTempState CarbonDioxide and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31578-31578 |
roomTempState ChlorineGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31579-31579 |
roomTempState Chlorofluorocarbon and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31580-31580 |
roomTempState Chloropicrin and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31581-31581 |
roomTempState ChokingAgent and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31594-31594 |
roomTempState Diphosgene and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31599-31599 |
roomTempState Exhaust and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31459-31459 |
roomTempState Fluorine and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31600-31600 |
roomTempState Freon12 and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31602-31602 |
roomTempState GasMixture and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31608-31608 |
roomTempState GreenhouseGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31612-31612 |
roomTempState Hashish and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31451-31451 |
roomTempState Helium and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31613-31613 |
roomTempState Heroin and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31450-31450 |
roomTempState Hydrogen and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31486-31486 |
roomTempState Krypton and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31396-31396 |
roomTempState LiquefiedPetroleumGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31548-31548 |
roomTempState MustardGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31627-31627 |
roomTempState NaturalGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31460-31460 |
roomTempState Neon and Gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31629-31629 |
roomTempState NitricOxide and Gas |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |