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

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2676-2676 Greenhouse gas is a subclass of gas
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25435-25435
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25434-25434
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25433-25433

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


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

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


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

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


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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12810-12823
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5313-5317
No TPTP formula. May not be expressible in strict first order. Merge.kif 12902-12910
No TPTP formula. May not be expressible in strict first order. Merge.kif 12941-12949
No TPTP formula. May not be expressible in strict first order. Geography.kif 6335-6352
No TPTP formula. May not be expressible in strict first order. Merge.kif 12916-12928
No TPTP formula. May not be expressible in strict first order. Merge.kif 10497-10501
No TPTP formula. May not be expressible in strict first order. Geography.kif 6387-6404
No TPTP formula. May not be expressible in strict first order. Merge.kif 12767-12776
No TPTP formula. May not be expressible in strict first order. Geography.kif 6554-6560
No TPTP formula. May not be expressible in strict first order. Geography.kif 6579-6585
No TPTP formula. May not be expressible in strict first order. Geography.kif 6519-6525
No TPTP formula. May not be expressible in strict first order. Cars.kif 3570-3576
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6151-6165
No TPTP formula. May not be expressible in strict first order. Cars.kif 1141-1150
No TPTP formula. May not be expressible in strict first order. Geography.kif 1990-1992
No TPTP formula. May not be expressible in strict first order. Cars.kif 5154-5162
No TPTP formula. May not be expressible in strict first order. Cars.kif 3583-3596
No TPTP formula. May not be expressible in strict first order. Merge.kif 13679-13684
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 1083-1094
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23632-23640


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners