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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GreenhouseGas
GreenhouseGas(greenhouse gas)
more pictures...
greenhouse_emission, greenhouse_gas

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2737-2741
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7022-7022
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7023-7023
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7025-7025
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6600-6600
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7026-7026
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7027-7027
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. Geography.kif 2736-2736 Greenhouse gas is a subclass of gas
No TPTP formula. May not be expressible in strict first order. Geography.kif 2735-2735 Greenhouse gas is a subclass of pure substance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26592-26592
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26591-26591
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26590-26590


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