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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gas

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 17311-17312
No TPTP formula. May not be expressible in strict first order. Merge.kif 17309-17309 Gas is an instance of physical state
No TPTP formula. May not be expressible in strict first order. Merge.kif 17310-17310 Gas is a subattribute of fluid

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2739-2739 Greenhouse gas is a subclass of gas
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25503-25503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25502-25502
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25501-25501

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17282-17282 Solid is the opposite of liquid

appearance as argument number 5
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17283-17283 Solid are all the attributes of physical state

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4738-4747

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13594-13607
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 4732-4736
No TPTP formula. May not be expressible in strict first order. Merge.kif 13686-13694
No TPTP formula. May not be expressible in strict first order. Merge.kif 13725-13733
No TPTP formula. May not be expressible in strict first order. Geography.kif 6685-6702
No TPTP formula. May not be expressible in strict first order. Merge.kif 13700-13712
No TPTP formula. May not be expressible in strict first order. Merge.kif 11119-11123
No TPTP formula. May not be expressible in strict first order. Geography.kif 6737-6754
No TPTP formula. May not be expressible in strict first order. Merge.kif 13551-13560
No TPTP formula. May not be expressible in strict first order. Geography.kif 6904-6910
No TPTP formula. May not be expressible in strict first order. Geography.kif 6929-6935
No TPTP formula. May not be expressible in strict first order. Geography.kif 6869-6875
No TPTP formula. May not be expressible in strict first order. Cars.kif 3597-3603
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6127-6141
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 2043-2045
No TPTP formula. May not be expressible in strict first order. Cars.kif 5177-5185
No TPTP formula. May not be expressible in strict first order. Cars.kif 3610-3626
No TPTP formula. May not be expressible in strict first order. Merge.kif 14472-14477
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 25017-25025


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

Show without tree


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