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(空氣)

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	子類空氣 and 混合氣體

appearance as argument number 2

(subclass AirStream Air)	Weather.kif 63-63	子類氣流 and 空氣
(termFormat ChineseLanguage Air "空气")	domainEnglishFormat.kif 6105-6105	子類氣流 and 空氣
(termFormat ChineseTraditionalLanguage Air "空氣")	domainEnglishFormat.kif 6104-6104	子類氣流 and 空氣
(termFormat EnglishLanguage Air "air")	domainEnglishFormat.kif 6103-6103	子類氣流 and 空氣

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	例 Object and 膠體部分 Object and Object attribute Object and 固體 attribute Object and 液體例 Object and 空氣部分 Object and Object 例 Object and 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	例 Entity and EngineChoke 持有期間 Process and attribute Entity and 設備上持有期間 Process and attribute Entity and 設備關閉例 SelfConnectedObject and EngineCylinder ConstantQuantity 是 SelfConnectedObject 的 capacity 例 Process and FourStrokeCompression 例 Process and FourStrokeCompression Process 是 located 在 SelfConnectedObject Process 是 located 在 SelfConnectedObject 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX1 部分 Object and ConstantQuantityIX1 測量 ConstantQuantityIX1 and ConstantQuantity 例 Object and 空氣例 Object and 汽油部分 Object and ConstantQuantityIX2 部分 Object and ConstantQuantityIX2 測量 ConstantQuantityIX2 and ConstantQuantity 例 UnitOfMeasure and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 測量 Object and 測量 ObjectM and UnitOfMeasure 比較多部 ObjectM and ObjectM and 部 ObjectM and 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 1633-1654	例 Process and 龍捲風例 Process and 旋轉例 Object and 空氣例 ProcessRAN and 易位子過程 Process and Process 子過程 ProcessRAN and Process 患者 ProcessRAN and Object 方向 ProcessRAN and 橫 Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject 例 Object and GeographicArea Process 是 located 在 Object 部分 SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment 上 ProcessOP and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and 雲底部 SelfConnectedObject and SelfConnectedObject 空間的符合 ProcessOP and SelfConnectedObject 空間的符合 SelfConnectedObject and Object
(=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Nitrogen) (part ?PART ?AIR))))	Weather.kif 55-60	例 Object and 空氣 Object 例 Object and 氮部分 Object and Object
(=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Oxygen) (part ?PART ?AIR))))	Weather.kif 48-53	例 Object and 空氣 Object 例 Object and 氧部分 Object and Object
(=> (instance ?AIR Air) (piece ?AIR EarthsAtmosphere))	Weather.kif 37-39	例 Substance and 空氣片 Substance and 地球的大氣

consequent

(=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A))))	Cars.kif 2166-2174	例 Object and AirEngineCoolingSystem 例 Transfer and Cooling 儀器 Transfer and Object Object 例 Object and 空氣 objectTransferred Transfer and 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 841-863	例 Object and VentedChestSeal 例 Transfer and Attaching objectTransferred Transfer and Object 目的地 Transfer and Entity 有目的 Object and Transfer entity, entity and Entity 例 Transfer and 空氣例 entity and 肺例 entity and Chest 部分 entity and Entity 部分 entity and Entity 持有期間不久的過去何時 Transfer and 之間 entity, Transfer and entity 有目的 Object and 持有期間眼前的未來何時 Transfer and 方位 Transfer, Entity and 外
(=> (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	持有期間 TimePosition and attribute entity and Pneumothorax 持有期間 TimePosition and entity 例 entity and 空氣例 entity and 肺例 entity and Chest 部分 entity and entity 部分 entity and entity 之間 entity, entity and entity
(=> (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	例 Process and 曝氣 Entity Object 患者 Process and Entity 例 Entity and 空氣患者 Process and Object attribute Object and 液體
(=> (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	例 Physical and 增氧機有目的 Physical and entity entity 例 entity and Combining 資源 entity and entity 例 entity and 空氣儀器 entity and Physical
(=> (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	例 Physical and AirIntake 有目的 Physical and entity entity and entity 例 entity and 空氣例 entity and 發動機例 entity and Transfer 起源 entity and Physical 目的地 entity and entity 患者 entity and entity
(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A) (and (instance ?A Air) (contains ?AI ?A)))))	Cars.kif 965-971	例 Physical and AirIntake 有目的 Physical and entity 例 entity and 空氣包含 Physical and entity
(=> (instance ?AIRSPACE AtmosphericRegion) (exists (?AIR) (and (instance ?AIR Air) (part ?AIR ?AIRSPACE))))	Weather.kif 41-46	例 Object and 大氣地區 Object 例 Object and 空氣部分 Object and 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 26620-26628	例 Physical and AirPump 有目的 Physical and entity entity 例 entity and Transportation 例 entity and 空氣儀器 entity and Physical 患者 entity and 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	例 Physical and BleedingAir 有目的 Physical and entity entity 例 entity and 液體容器例 entity and 空氣持有期間不久的過去 Physical and 包含 entity and entity 持有期間眼前的未來 Physical and 包含 entity and entity
(=> (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	例 Physical and FuelAtomizer 有目的 Physical and entity entity, entity and entity 例 entity and 汽油例 entity and 噴例 entity and 空氣例 entity and Combustion 患者 entity and entity 患者 entity and entity 資源 entity and entity 資源 entity and 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	例 Physical and AirFilter 有目的 Physical and entity entity, entity and entity 例 entity and Removing 部分 entity and entity 例 entity and 空氣例 entity and 空氣 attribute entity and 固體患者 entity and entity 部分 entity and entity 起源 entity and entity 例 entity and Mixture 儀器 entity and Physical
(=> (instance ?FRONT StormFront) (exists (?AIR1 ?AIR2) (and (instance ?AIR1 Air) (instance ?AIR2 Air) (between ?AIR1 ?FRONT ?AIR2))))	Mid-level-ontology.kif 9854-9860	例 Object and 暴風雨前線 Object Object 例 Object and 空氣例 Object and 空氣之間 Object, Object and 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	例 Process and Haboob Process Process and Entity 例 Process and 雷雨例 Process and 向下運動例 Entity and 空氣患者 Process and Entity 子過程 Process and Process 原因 Process and 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 3364-3374	例 Physical and MassAirflowSensor 有目的 Physical and entity entity and entity 例 entity and Transfer 例 entity and 空氣患者 entity and entity 例 entity and Measuring 患者 entity and entity 儀器 entity and Physical
(=> (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	例 Physical and Supercharger 有目的 Physical and entity entity and entity 例 entity and 氣體運動起源 entity and Physical 例 entity and IntakeValve 目的地 entity and entity 例 entity and 空氣 objectTransferred entity and entity 持有期間何時 entity and attribute entity and Pressurized
(=> (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	例 Physical and Storm 持有期間何時 Physical and entity entity, entity and entity 例 entity and 低壓天氣系統例 entity and Region entity 是 located 在 entity 例 entity and 空氣例 entity and 向上運動患者 entity and entity entity 是 located 在 entity 子過程 entity and entity
(=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air))))	Merge.kif 14873-14878	例 Process and 風 Entity 患者 Process and Entity 例 Entity and 空氣
(=> (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	例 Physical and RoomHeater 有目的 Physical and entity entity and entity 例 entity and 空氣例 entity and Room 位於 entity and entity 例 entity and Heating 患者 entity and entity 儀器 entity and Physical

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