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 17566-17567 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17564-17564 | Gas is an instance of physical state |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17565-17565 | 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 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 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17542-17542 | Solid is the opposite of liquid |
appearance as argument number 4 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17543-17543 | Solid are all the attributes of physical state |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5016-5025 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17594-17601 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13841-13854 |
|
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 5010-5014 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13933-13941 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13979-13987 |
|
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 13953-13966 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11250-11254 |
|
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 13798-13807 |
|
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 3593-3599 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6458-6472 |
|
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 5174-5182 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3606-3622 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14743-14748 |
|
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 25650-25658 |
|