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 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


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