Air - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Air

Air(air)

air, hot_air, liquid_air

appearance as argument number 1

(documentation Air ChineseLanguage "Air 是组成环绕地球大气层的气体物质。")	chinese_format.kif 3471-3471
(documentation Air EnglishLanguage "Air is the gaseous stuff that makes up the atmosphere surrounding Earth.")	Merge.kif 14842-14843
(externalImage Air "http://upload.wikimedia.org/wikipedia/commons/7/7a/Atmosphere_gas_proportions.svg")	pictureList.kif 2432-2432
(externalImage Air "http://upload.wikimedia.org/wikipedia/commons/b/be/Top_of_Atmosphere.jpg")	pictureList.kif 2536-2536
(subclass Air GasMixture)	Merge.kif 14841-14841	Air is a subclass of gas mixture

appearance as argument number 2

(subclass AirStream Air)	Weather.kif 63-63	Air stream is a subclass of air
(termFormat ChineseLanguage Air "空气")	domainEnglishFormat.kif 6101-6101	Air stream is a subclass of air
(termFormat ChineseTraditionalLanguage Air "空氣")	domainEnglishFormat.kif 6100-6100	Air stream is a subclass of air
(termFormat EnglishLanguage Air "air")	domainEnglishFormat.kif 6099-6099	Air stream is a subclass of air

antecedent

(=> (and (instance ?C Colloid) (part ?P ?C) (or (attribute ?P Solid) (attribute ?P Liquid)) (instance ?AIR Air) (part ?AIR ?C)) (instance ?C Aerosal))	Geography.kif 7545-7554	If an object is an instance of colloid and another object is a part of the object and solid is an attribute of the other object or liquid is an attribute of the other object and a third object is an instance of air and the third object is a part of the object, then the object is an instance of aerosal
(=> (and (instance ?EC EngineChoke) (holdsDuring ?FSC1 (attribute ?EC DeviceOn)) (holdsDuring ?FSC2 (attribute ?EC DeviceOff)) (instance ?C EngineCylinder) (capacity ?C ?M) (instance ?FSC1 FourStrokeCompression) (instance ?FSC2 FourStrokeCompression) (eventLocated ?FSC1 ?C) (eventLocated ?FSC2 ?C) (instance ?A1 Air) (instance ?F1 Fuel) (part ?A1 ?MIX1) (part ?F1 ?MIX1) (measure ?MIX1 ?M) (instance ?A2 Air) (instance ?F2 Fuel) (part ?A2 ?MIX2) (part ?F2 ?MIX2) (measure ?MIX2 ?M) (instance ?U UnitOfMeasure) (measure ?A1 (MeasureFn ?A1M ?U)) (measure ?A2 (MeasureFn ?A2M ?U)) (measure ?F1 (MeasureFn ?F1M ?U)) (measure ?F2 (MeasureFn ?F2M ?U))) (greaterThan (DivisionFn ?A2M ?F2M) (DivisionFn ?A1M ?F1M)))	Cars.kif 1314-1348	If an entity is an instance of engine choke and device on is an attribute of the entity holds during a process and device off is an attribute of the entity holds during another process and a self connected object is an instance of engine cylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at the self connected object and the other process is located at the self connected object and an object is an instance of air and another object is an instance of fuel and the object is a part of the constant quantityIX1 and the other object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fourth object is an instance of air and a fifth object is an instance of fuel and the fourth object is a part of the constant quantityIX2 and the fifth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and an unit of measure is an instance of unit of measure and the measure of the object is the objectM the unit of measure(s) and the measure of the fourth object is the fourth objectM the unit of measure(s) and the measure of the other object is the other objectM the unit of measure(s) and the measure of the fifth object is the fifth objectM the unit of measure(s), then the fourth objectM and the fifth objectM is greater than the objectM and the other objectM
(=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G))))	Weather.kif 1634-1655	If a process is an instance of tornado and another process is an instance of rotating and an object is an instance of air and the processRAN is an instance of translocation and the other process is a subprocess of the process and the processRAN is a subprocess of the other process and the object is a patient of the processRAN and entities in the process the processRAN are moving horizontal, then there exist another object, a self connected object,, , the processOP,, , a third self connected object,, , a fourth self connected object and a fifth self connected object such that the other object is an instance of geographic area and the process is located at the other object and the self connected object is a part of the object and cone segment is an attribute of the self connected object and the top of the self connected object is the processOP and the bottom of the self connected object is the third self connected object and the fourth self connected object is an instance of cloud and the bottom of the fourth self connected object is the fifth self connected object and the processOP meets the fifth self connected object and the third self connected object meets the other object
(=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Nitrogen) (part ?PART ?AIR))))	Weather.kif 55-60	If an object is an instance of air, then there exists another object such that the other object is an instance of nitrogen and the other object is a part of the object
(=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Oxygen) (part ?PART ?AIR))))	Weather.kif 48-53	If an object is an instance of air, then there exists another object such that the other object is an instance of oxygen and the other object is a part of the object
(=> (instance ?AIR Air) (piece ?AIR EarthsAtmosphere))	Weather.kif 37-39	If a substance is an instance of air, then the substance is a piece of earths atmosphere

consequent

(=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A))))	Cars.kif 2165-2173	If an object is an instance of air cooling system and a transfer is an instance of cooling and the object is an instrument for the transfer, then there exists another object such that the other object is an instance of air and the object transferred in the transfer is the other object
(=> (and (instance ?VCS VentedChestSeal) (instance ?A Attaching) (objectTransferred ?A ?VCS) (destination ?A ?H)) (hasPurpose ?VCS (exists (?A ?L ?C ?H) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (orientation ?A ?H Outside)))))))	Medicine.kif 853-875	If an object is an instance of vented chest seal and a transfer is an instance of attaching and the object transferred in the transfer is the object and the transfer ends up at an entity, then the object has the purpose there exist the transfer, another entity,, , a third entity and the entity such that the transfer is an instance of air and the other entity is an instance of lung and the third entity is an instance of chest and the other entity is a part of the entity and the third entity is a part of the entity and the transfer is between the other entity and the third entity holds during immediately before the time of existence of the transfer and the object has the purpose the transfer is outside to the entity holds during immediately after the time of existence of the transfer
(=> (holdsDuring ?T (attribute ?H Pneumothorax)) (holdsDuring ?T (exists (?A) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (between ?L ?A ?C)))))	Medicine.kif 799-810	If collapsed lung is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of air and a third entity is an instance of lung and a fourth entity is an instance of chest and the third entity is a part of the entity and the fourth entity is a part of the entity and the other entity is between the third entity and the fourth entity holds during the time position
(=> (instance ?AERATE Aerating) (exists (?AIR ?S) (and (patient ?AERATE ?AIR) (instance ?AIR Air) (patient ?AERATE ?S) (attribute ?S Liquid))))	Mid-level-ontology.kif 1892-1899	If a process is an instance of aerating, then there exist an entity and an object such that the entity is a patient of the process and the entity is an instance of air and the object is a patient of the process and liquid is an attribute of the object
(=> (instance ?AERATOR Aerator) (hasPurpose ?AERATOR (exists (?COMBINE ?AIR) (and (instance ?COMBINE Combining) (resource ?COMBINE ?AIR) (instance ?AIR Air) (instrument ?COMBINE ?AERATOR)))))	Mid-level-ontology.kif 1879-1887	If a physical is an instance of aerator, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of combining and the other entity is a resource for the entity and the other entity is an instance of air and the physical is an instrument for the entity
(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A ?E ?T) (and (instance ?A Air) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?AI) (destination ?T ?E) (patient ?T ?A)))))	Cars.kif 973-983	If a physical is an instance of air intake, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of air and the other entity is an instance of engine and the third entity is an instance of transfer and the third entity originates at the physical and the third entity ends up at the other entity and the entity is a patient of the third entity
(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A) (and (instance ?A Air) (contains ?AI ?A)))))	Cars.kif 965-971	If a physical is an instance of air intake, then the physical has the purpose there exists an entity such that the entity is an instance of air and the physical contains the entity
(=> (instance ?AIRSPACE AtmosphericRegion) (exists (?AIR) (and (instance ?AIR Air) (part ?AIR ?AIRSPACE))))	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
(=> (instance ?AP AirPump) (hasPurpose ?AP (exists (?T ?A) (and (instance ?T Transportation) (instance ?A Air) (instrument ?T ?AP) (patient ?T ?A)))))	Mid-level-ontology.kif 25789-25797	If a physical is an instance of air pump, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the other entity is an instance of air and the physical is an instrument for the entity and the other entity is a patient of the entity
(=> (instance ?BA BleedingAir) (hasPurpose ?BA (exists (?FC ?A) (and (instance ?FC FluidContainer) (instance ?A Air) (holdsDuring (ImmediatePastFn ?BA) (contains ?FC ?A)) (holdsDuring (ImmediateFutureFn ?BA) (not (contains ?FC ?A)))))))	Cars.kif 1519-1529	If a physical is an instance of bleeding air, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of fluid container and the other entity is an instance of air and the entity contains the other entity holds during immediately before the physical and the entity doesn't contain the other entity holds during immediately after the physical
(=> (instance ?FA FuelAtomizer) (hasPurpose ?FA (exists (?F ?S ?A ?C) (and (instance ?F Fuel) (instance ?S Spraying) (instance ?A Air) (instance ?C Combustion) (patient ?S ?A) (patient ?S ?F) (resource ?C ?F) (resource ?C ?A)))))	Cars.kif 1112-1124	If a physical is an instance of fuel atomizer, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of fuel and the other entity is an instance of spraying and the third entity is an instance of air and the fourth entity is an instance of burning and the third entity is a patient of the other entity and the entity is a patient of the other entity and the entity is a resource for the fourth entity and the third entity is a resource for the fourth entity
(=> (instance ?FILTER AirFilter) (hasPurpose ?FILTER (exists (?REMOVE ?AIR ?NONAIR ?MIX) (and (instance ?REMOVE Removing) (part ?AIR ?MIX) (instance ?AIR Air) (not (instance ?NONAIR Air)) (attribute ?NONAIR Solid) (patient ?REMOVE ?NONAIR) (part ?NONAIR ?MIX) (origin ?REMOVE ?MIX) (instance ?MIX Mixture) (instrument ?REMOVE ?FILTER)))))	Cars.kif 943-958	If a physical is an instance of air filter, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of removing and the other entity is a part of the fourth entity and the other entity is an instance of air and the third entity is not an instance of air and solid is an attribute of the third entity and the third entity is a patient of the entity and the third entity is a part of the fourth entity and the entity originates at the fourth entity and the fourth entity is an instance of mixture and the physical is an instrument for the entity
(=> (instance ?FRONT StormFront) (exists (?AIR1 ?AIR2) (and (instance ?AIR1 Air) (instance ?AIR2 Air) (between ?AIR1 ?FRONT ?AIR2))))	Mid-level-ontology.kif 9299-9305	If an object is an instance of storm front, then there exist another object and a third object such that the other object is an instance of air and the third object is an instance of air and the object is between the other object and the third object
(=> (instance ?HABOOB Haboob) (exists (?TS ?DM ?A) (and (instance ?TS Thunderstorm) (instance ?DM MotionDownward) (instance ?A Air) (patient ?DM ?A) (subProcess ?DM ?TS) (causes ?DM ?HABOOB))))	Weather.kif 1302-1311	If a process is an instance of Haboob, then there exist another process, a third process and an entity such that the other process is an instance of thunderstorm and the third process is an instance of motion downward and the entity is an instance of air and the entity is a patient of the third process and the third process is a subprocess of the other process and the third process causes the process
(=> (instance ?MAS MassAirflowSensor) (hasPurpose ?MAS (exists (?T ?M ?A) (and (instance ?T Transfer) (instance ?A Air) (patient ?T ?A) (instance ?M Measuring) (patient ?M ?A) (instrument ?M ?MAS)))))	Cars.kif 3363-3373	If a physical is an instance of mass airflow sensor, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the third entity is an instance of air and the third entity is a patient of the entity and the other entity is an instance of measuring and the third entity is a patient of the other entity and the physical is an instrument for the other entity
(=> (instance ?S Supercharger) (hasPurpose ?S (exists (?T ?IV ?A) (and (instance ?T GasMotion) (origin ?T ?S) (instance ?IV IntakeValve) (destination ?T ?IV) (instance ?A Air) (objectTransferred ?T ?A) (holdsDuring (WhenFn ?T) (attribute ?A Pressurized))))))	Cars.kif 5252-5264	If a physical is an instance of supercharger, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas motion and the entity originates at the physical and the other entity is an instance of intake valve and the entity ends up at the other entity and the third entity is an instance of air and the object transferred in the entity is the third entity and pressurized is an attribute of the third entity holds during the time of existence of the entity
(=> (instance ?STORM Storm) (holdsDuring (WhenFn ?STORM) (exists (?LOW ?AREA ?AIR ?RISE) (and (instance ?LOW LowPressureWeatherSystem) (instance ?AREA Region) (eventLocated ?LOW ?AREA) (instance ?AIR Air) (instance ?RISE MotionUpward) (patient ?RISE ?AIR) (eventLocated ?RISE ?AREA) (subProcess ?RISE ?LOW)))))	Weather.kif 2899-2912	If a physical is an instance of storm, then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of low pressure weather system and the other entity is an instance of region and the entity is located at the other entity and the third entity is an instance of air and the fourth entity is an instance of motion upward and the third entity is a patient of the fourth entity and the fourth entity is located at the other entity and the fourth entity is a subprocess of the entity holds during the time of existence of the physical
(=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air))))	Merge.kif 14845-14850	If a process is an instance of wind, then there exists an entity such that the entity is a patient of the process and the entity is an instance of air
(=> (instance ?X RoomHeater) (hasPurpose ?X (exists (?AIR ?HEATING ?ROOM) (and (instance ?AIR Air) (instance ?ROOM Room) (located ?AIR ?ROOM) (instance ?HEATING Heating) (patient ?HEATING ?AIR) (instrument ?HEATING ?X)))))	Mid-level-ontology.kif 27108-27118	If a physical is an instance of room heater, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of air and the third entity is an instance of room and the entity is located at the third entity and the other entity is an instance of heating and the entity is a patient of the other entity and the physical is an instrument for the other entity

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