Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Gas
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners