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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AtmosphericRegion

Sigma KEE - AtmosphericRegion
AtmosphericRegion(atmospheric region)
air, blue, blue_air, blue_sky, exosphere, field, field_of_force, force_field, mackerel_sky, mesosphere, ozone_layer, ozonosphere, radiation_field, stratosphere, thermosphere, tropopause, troposphere, wild_blue_yonder

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8632-8633
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8357-8357
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8931-8931
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8934-8934
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8933-8933
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8631-8631 Atmospheric region is a subclass of space region

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2775-2775 Ozone shield is an instance of atmospheric region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8672-8672 Space region is exhaustively partitioned into atmospheric region and outer space region
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8680-8680 Storm front is a subclass of atmospheric region
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8925-8925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8924-8924
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8923-8923

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2536-2549
No TPTP formula. May not be expressible in strict first order. Weather.kif 2565-2579
No TPTP formula. May not be expressible in strict first order. Weather.kif 41-46
No TPTP formula. May not be expressible in strict first order. Weather.kif 33-35

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 944-955
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16648-16653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16672-16679
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 976-990
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16659-16666
No TPTP formula. May not be expressible in strict first order. Geography.kif 7129-7138
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17081-17088


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