| 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 14870-14871 | |
| (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 14869-14869 |
| appearance as argument number 2 |
|
|
| (subclass AirStream Air) | Weather.kif 63-63 | |
| (termFormat ChineseLanguage Air "空气") | domainEnglishFormat.kif 6105-6105 | |
| (termFormat ChineseTraditionalLanguage Air "空氣") | domainEnglishFormat.kif 6104-6104 | |
| (termFormat EnglishLanguage Air "air") | domainEnglishFormat.kif 6103-6103 |
| 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 7613-7622 | |
| (=> (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 | |
| (=> (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 1633-1654 | |
| (=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Nitrogen) (part ?PART ?AIR)))) |
Weather.kif 55-60 | |
| (=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Oxygen) (part ?PART ?AIR)))) |
Weather.kif 48-53 | |
| (=> (instance ?AIR Air) (piece ?AIR EarthsAtmosphere)) |
Weather.kif 37-39 |
| consequent |
|
|
| (=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A)))) |
Cars.kif 2166-2174 | |
| (=> (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 841-863 | |
| (=> (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 787-798 | |
| (=> (instance ?AERATE Aerating) (exists (?AIR ?S) (and (patient ?AERATE ?AIR) (instance ?AIR Air) (patient ?AERATE ?S) (attribute ?S Liquid)))) |
Mid-level-ontology.kif 1965-1972 | |
| (=> (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 1952-1960 | |
| (=> (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 | |
| (=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A) (and (instance ?A Air) (contains ?AI ?A))))) |
Cars.kif 965-971 | |
| (=> (instance ?AIRSPACE AtmosphericRegion) (exists (?AIR) (and (instance ?AIR Air) (part ?AIR ?AIRSPACE)))) |
Weather.kif 41-46 | |
| (=> (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 26620-26628 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?FRONT StormFront) (exists (?AIR1 ?AIR2) (and (instance ?AIR1 Air) (instance ?AIR2 Air) (between ?AIR1 ?FRONT ?AIR2)))) |
Mid-level-ontology.kif 9854-9860 | |
| (=> (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 | |
| (=> (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 3364-3374 | |
| (=> (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 5253-5265 | |
| (=> (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 2898-2911 | |
| (=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air)))) |
Merge.kif 14873-14878 | |
| (=> (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 27939-27949 |
|
|
|