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 BZ gas and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31590-31590 |
roomTempState CS gas and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31574-31574 |
roomTempState carbon dioxide and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31578-31578 |
roomTempState chlorine gas 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 choking agent 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 freon-12 and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31602-31602 |
roomTempState gas mixture and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31608-31608 |
roomTempState greenhouse gas 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 liquefied petroleum gas and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31548-31548 |
roomTempState mustard gas and gas |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31627-31627 |
roomTempState natural gas 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 nitric oxide and gas |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |