Gas(gas) | ![]() | VX_gas, aeriform, airlike, compressed_gas, gas, gaseous, gaseous_state, gaseousness, gassy, ideal_gas, inhalant, mephitis, miasmal, miasmic, nerve_agent, nerve_gas, ozone, perfect_gas, phosphine, poison_gas, propene, propylene, sewer_gas, smoggy, vaporific, vaporish, vaporous, vapourific, vapourish, vapourous |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3930-3931 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17588-17589 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17586-17586 | Gas is an instance of physical state |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17587-17587 | Gas is a subattribute of fluid |
appearance as argument number 2 |
![]() |
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 BZ gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31586-31586 | roomTempState CS gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31570-31570 | roomTempState carbon dioxide and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31574-31574 | roomTempState chlorine gas 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 choking agent 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 freon-12 and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31598-31598 | roomTempState gas mixture and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31604-31604 | roomTempState greenhouse gas 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 liquefied petroleum gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31544-31544 | roomTempState mustard gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31623-31623 | roomTempState natural gas 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 nitric oxide and gas |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17564-17564 | Solid is the opposite of liquid |
appearance as argument number 4 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17565-17565 | Solid are all the attributes of physical state |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5015-5024 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17616-17623 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13863-13876 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 69-73 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5009-5013 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13955-13963 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14001-14009 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6997-7014 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13975-13988 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11272-11276 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7049-7066 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7216-7222 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7241-7247 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7181-7187 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3601-3607 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6457-6471 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1150-1159 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2040-2042 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5182-5190 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3614-3630 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14765-14770 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 424-432 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1092-1103 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25638-25646 |
|
![]() |
![]() |