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 16242-16243
No TPTP formula. May not be expressible in strict first order. Merge.kif 16240-16240 Gas is an instance of physical state
No TPTP formula. May not be expressible in strict first order. Merge.kif 16241-16241 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 25441-25441 "加油站" is the printable form of gas in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25440-25440 "加油站" is the printable form of gas in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25439-25439 "gas" is the printable form of gas in english language

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


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

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


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

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


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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12709-12722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5307-5311
No TPTP formula. May not be expressible in strict first order. Merge.kif 12801-12809
No TPTP formula. May not be expressible in strict first order. Merge.kif 12840-12848
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 12815-12827
No TPTP formula. May not be expressible in strict first order. Merge.kif 10396-10400
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 12666-12675
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 3569-3575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6145-6159
No TPTP formula. May not be expressible in strict first order. Cars.kif 1140-1149
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 5153-5161
No TPTP formula. May not be expressible in strict first order. Cars.kif 3582-3595
No TPTP formula. May not be expressible in strict first order. Merge.kif 13578-13583
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 1082-1093
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23568-23576


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