| Air(air)
| | air, hot_air, liquid_air |
| appearance as argument number 1 |
|
|
| (subclass Air GasMixture) | Merge.kif 14970-14970 | Air is a subclass of gas mixture |
| (documentation Air EnglishLanguage "Air is the gaseous stuff that makes up the atmosphere surrounding Earth.") | Merge.kif 14971-14972 | Air is a subclass of gas mixture |
| (externalImage Air "http://upload.wikimedia.org/wikipedia/commons/7/7a/Atmosphere_gas_proportions.svg") | pictureList.kif 2432-2432 | Air is a subclass of gas mixture |
| (externalImage Air "http://upload.wikimedia.org/wikipedia/commons/b/be/Top_of_Atmosphere.jpg") | pictureList.kif 2536-2536 | 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 EnglishLanguage Air "air") | domainEnglishFormat.kif 6103-6103 | Air stream is a subclass of air |
| (termFormat ChineseTraditionalLanguage Air "空氣") | domainEnglishFormat.kif 6104-6104 | Air stream is a subclass of air |
| (termFormat ChineseLanguage Air "空气") | domainEnglishFormat.kif 6105-6105 | Air stream is a subclass of air |
| antecedent |
|
|
| (=> (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 All of the following hold: (1) X is an instance of engine choke (2) device on is an attribute of X holds during Y (3) device off is an attribute of X holds during Z (4) W is an instance of engine cylinder (5) V is a capacity of W (6) Y is an instance of four stroke compression (7) Z is an instance of four stroke compression (8) Y is located at W (9) Z is located at W (10) U is an instance of air (11) T is an instance of fuel (12) U is a part of S (13) T is a part of S (14) the measure of S is V (15) R is an instance of air (16) Q is an instance of fuel (17) R is a part of P (18) Q is a part of P (19) the measure of P is V (20) O is an instance of unit of measure (21) the measure of U is N O(s) (22) the measure of R is M O(s) (23) the measure of T is L O(s) (24) the measure of Q is K O(s), then M, K is greater than N, and L |
| (=> (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 9200-9209 | If X is an instance of colloid, Y is a part of X, solid is an attribute of Y or liquid is an attribute of Y, Z is an instance of air, and Z is a part of X, then X is an instance of aerosal |
| (=> (instance ?AIR Air) (piece ?AIR EarthsAtmosphere)) |
Weather.kif 37-39 | If X is an instance of air, then X is a piece of earths atmosphere |
| (=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Oxygen) (part ?PART ?AIR)))) |
Weather.kif 48-53 | If X is an instance of air, then there exists Y such that Y is an instance of oxygen and Y is a part of X |
| (=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Nitrogen) (part ?PART ?AIR)))) |
Weather.kif 55-60 | If X is an instance of air, then there exists Y such that Y is an instance of nitrogen and Y is a part of X |
| (=> (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 2975-2996 | If All of the following hold: (1) X is an instance of tornado (2) Y is an instance of rotating (3) Z is an instance of air (4) W is an instance of translocation (5) Y is a subprocess of X (6) W is a subprocess of Y (7) Z is a patient of W (8) entities in the process W are moving horizontal to, then All of the following hold: (1) there exist V, U,, , T,, , S,, , R (2) Q such that V is an instance of geographic area (3) X is located at V (4) U is a part of Z (5) cone segment is an attribute of U (6) the top of U is T (7) the bottom of U is S (8) R is an instance of cloud (9) the bottom of R is Q (10) T meets Q (11) S meets V |
| consequent |
|
|
| (=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air)))) |
Merge.kif 14974-14979 | If X is an instance of wind, then there exists Y such that Y is a patient of X and Y is an instance of air |
| (=> (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 2367-2375 | If X is an instance of aerator, then X has the purpose there exist Y, Z such that Y is an instance of combining, Z is a resource for Y, Z is an instance of air, and X is an instrument for Y |
| (=> (instance ?AERATE Aerating) (exists (?AIR ?S) (and (patient ?AERATE ?AIR) (instance ?AIR Air) (patient ?AERATE ?S) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 2380-2387 | If X is an instance of aerating, then there exist Y, Z such that Y is a patient of X, Y is an instance of air, Z is a patient of X, and liquid is an attribute of Z |
| (=> (instance ?FRONT StormFront) (exists (?AIR1 ?AIR2) (and (instance ?AIR1 Air) (instance ?AIR2 Air) (between ?AIR1 ?FRONT ?AIR2)))) |
Mid-level-ontology.kif 10328-10334 | If X is an instance of storm front, then there exist Y, Z such that Y is an instance of air, Z is an instance of air, X is between Y, and Z |
| (=> (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 27900-27908 | If X is an instance of air pump, then X has the purpose there exist Y, Z such that Y is an instance of transportation, Z is an instance of air, X is an instrument for Y, and Z is a patient of Y |
| (=> (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 29507-29517 | If X is an instance of room heater, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of air (3) W is an instance of room (4) Y is located at W (5) Z is an instance of heating (6) Y is a patient of Z (7) X is an instrument for Z |
| (=> (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 X is an instance of air filter, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of removing (3) Z is a part of V (4) Z is an instance of air (5) W is not an instance of air (6) solid is an attribute of W (7) W is a patient of Y (8) W is a part of V (9) Y originates at V (10) V is an instance of mixture (11) X is an instrument for Y |
| (=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A) (and (instance ?A Air) (contains ?AI ?A))))) |
Cars.kif 965-971 | If X is an instance of air intake, then X has the purpose there exists Y such that Y is an instance of air and X contains Y |
| (=> (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 X is an instance of air intake, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of air (3) Z is an instance of engine (4) W is an instance of transfer (5) W originates at X (6) W ends up at Z (7) Y is a patient of W |
| (=> (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 X is an instance of fuel atomizer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of fuel (3) Z is an instance of spraying (4) W is an instance of air (5) V is an instance of burning (6) W is a patient of Z (7) Y is a patient of Z (8) Y is a resource for V (9) W is a resource for V |
| (=> (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 X is an instance of bleeding air, then X has the purpose there exist Y, Z such that Y is an instance of fluid container, Z is an instance of air, Y contains Z holds during immediately before X, and Y doesn't contain Z holds during immediately after X |
| (=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A)))) |
Cars.kif 2172-2180 | If X is an instance of air cooling system, Y is an instance of cooling, and X is an instrument for Y, then there exists Z such that Z is an instance of air and the object transferred in Y is Z |
| (=> (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 3381-3391 | If X is an instance of mass airflow sensor, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) W is an instance of air (4) W is a patient of Y (5) Z is an instance of measuring (6) W is a patient of Z (7) X is an instrument for Z |
| (=> (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 5270-5282 | If X is an instance of supercharger, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas motion (3) Y originates at X (4) Z is an instance of intake valve (5) Y ends up at Z (6) W is an instance of air (7) the object transferred in Y is W (8) pressurized is an attribute of W holds during the time of existence of Y |
| (=> (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 777-788 | If collapsed lung is an attribute of X holds during Y, then All of the following hold: (1) there exists Z such that Z is an instance of air (2) W is an instance of lung (3) V is an instance of chest (4) W is a part of X (5) V is a part of X (6) Z is between W (7) V holds during Y |
| (=> (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 831-853 | If X is an instance of vented chest seal, Y is an instance of attaching, the object transferred in Y is X, and Y ends up at Z, then All of the following hold: (1) X has the purpose there exist Y, W,, , V (2) Z such that Y is an instance of air (3) W is an instance of lung (4) V is an instance of chest (5) W is a part of Z (6) V is a part of Z (7) Y is between W (8) V holds during immediately before the time of existence of Y (9) X has the purpose Y is outside of to Z holds during immediately after the time of existence of Y |
| (=> (instance ?AIRSPACE AtmosphericRegion) (exists (?AIR) (and (instance ?AIR Air) (part ?AIR ?AIRSPACE)))) |
Weather.kif 41-46 | If X is an instance of atmospheric region, then there exists Y such that Y is an instance of air and Y is a part of X |
| (=> (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 2494-2503 | If X is an instance of Haboob, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of thunderstorm (3) Z is an instance of motion downward (4) W is an instance of air (5) W is a patient of Z (6) Z is a subprocess of Y (7) Z causes X |
| (=> (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 4228-4241 | If X is an instance of storm, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of low pressure weather system (3) Z is an instance of region (4) Y is located at Z (5) W is an instance of air (6) V is an instance of motion upward (7) W is a patient of V (8) V is located at Z (9) V is a subprocess of Y holds during the time of existence of X |
|
|
|