TreeView Knowledge Base Browser - EarthsAtmosphere

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

EarthsAtmosphere

Sigma KEE - EarthsAtmosphere

EarthsAtmosphere(earths atmosphere)

air, atmosphere, celestial, heavenly

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 30-31
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1740-1740
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2157-2157
No TPTP formula. May not be expressible in strict first order.	Weather.kif 29-29	Earths atmosphere is an instance of atmosphere

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20802-20802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20801-20801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20800-20800

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 37-39	If a substance is an instance of air, then the substance is a piece of earths atmosphere
No TPTP formula. May not be expressible in strict first order.	Weather.kif 33-35	If an object is an instance of atmospheric region, then the object is a part of earths atmosphere
No TPTP formula. May not be expressible in strict first order.	Weather.kif 90-92	If a physical is an instance of wind flow, then the physical is located at earths atmosphere
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1250-1257	If a physical is an instance of air transitway, then the physical has the purpose there exists an entity such that the entity is an instance of transportation and the physical is path along which the entity occurs and the physical is partly located in earths atmosphere

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