TreeView Knowledge Base Browser - AtmosphericRegion

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 9028-9029
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8356-8356
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8930-8930
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.	pictureList.kif 8932-8932
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9027-9027	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 2772-2772	Ozone shield is an instance of atmospheric region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9068-9068	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 9076-9076	Storm front is a subclass of atmospheric region
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8916-8916
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8915-8915
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8914-8914

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2533-2546	If a process is an instance of fog and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object is an instance of aerosal and the other object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2576	If a process is an instance of atmospheric hazing and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number kilometer(s), then the real number is greater than 2.0 and the real number is less than 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 41-46	If an object is an instance of atmospheric region, then there exists another object such that the other object is an instance of air and the other object is a part of the object
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

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 944-955	If a process is an instance of flying and an entity is a patient of the process and the entity is an instance of air launch missile, then there exists another entity such that the other entity is an instance of atmospheric region and the entity is located at the other entity holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17228-17233	If a process is an instance of flying, then there exists an object such that the object is an instance of atmospheric region and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17252-17259	If a process is an instance of landing, then there exist an entity and another process such that the entity is not an instance of atmospheric region and the process is located at the entity holds during the end of the time of existence of the process and the other process is a subprocess of the process and the other process is an instance of flying
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 976-990	If a physical is an instance of air attack missile, then the physical has the purpose there exist an entity, another entity and a third entity such that the physical is an instrument for the third entity and the entity is a patient of the third entity and the third entity is an instance of damaging and the other entity is an instance of atmospheric region and the physical is located at the other entity and the entity is located at the other entity holds during the beginning of the time of existence of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17239-17246	If a process is an instance of taking off, then there exist an entity and another process such that the entity is not an instance of atmospheric region and the process is located at the entity holds during the beginning of the time of existence of the process and the other process is a subprocess of the process and the other process is an instance of flying
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7413-7422	If an object is an instance of PM, then there exist a self connected object, another object and a real number such that the other object is an instance of atmospheric region and the object is located at the other object and the self connected object is a part of the object and the approximate diameter of the self connected object is the real number micrometer(s) and 1000.0 is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17688-17695	If a process is an instance of air transportation, then there exist an object and another object such that the object is an instance of aircraft and the other object is an instance of atmospheric region and the object is an instrument for the process and the process is located at the other object

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