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 17749-17750 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17747-17747 | Gas is an instance of physical state |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17748-17748 | 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 33413-33413 | room temperature state argon and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33501-33501 | room temperature state arsine and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33516-33516 | room temperature state BZ gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33535-33535 | room temperature state CS gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33519-33519 | room temperature state carbon dioxide and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33523-33523 | room temperature state chlorine gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33524-33524 | room temperature state chlorofluorocarbon and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33525-33525 | room temperature state chloropicrin and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33526-33526 | room temperature state choking agent and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33539-33539 | room temperature state diphosgene and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33544-33544 | room temperature state exhaust and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33404-33404 | room temperature state fluorine and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33545-33545 | room temperature state freon-12 and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33547-33547 | room temperature state gas mixture and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33553-33553 | room temperature state greenhouse gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33557-33557 | room temperature state hashish and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33396-33396 | room temperature state helium and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33558-33558 | room temperature state heroin and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33395-33395 | room temperature state hydrogen and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33431-33431 | room temperature state krypton and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33341-33341 | room temperature state liquefied petroleum gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33493-33493 | room temperature state mustard gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33572-33572 | room temperature state natural gas and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33405-33405 | room temperature state neon and gas |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33574-33574 | room temperature state 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 17725-17725 | Solid is the opposite of liquid |
appearance as argument number 4 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17726-17726 | Solid are all the attributes of physical state |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5953-5962 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17777-17784 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13994-14007 |
|
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 5947-5951 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14086-14094 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14132-14140 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7334-7351 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14106-14119 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11388-11392 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7386-7403 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13951-13960 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7553-7559 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7578-7584 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7518-7524 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4142-4149 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3654-3660 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7395-7409 |
|
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 2198-2200 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5235-5243 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3667-3683 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14896-14901 |
|
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 27548-27556 |
|
![]() |
![]() |