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 14934-14935
(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 14933-14933	Air は GasMixture の subclass では %n

appearance as argument number 2

(subclass AirStream Air)	Weather.kif 63-63	AirStream は Air の subclass では %n
(termFormat ChineseLanguage Air "空气")	domainEnglishFormat.kif 6105-6105	AirStream は Air の subclass では %n
(termFormat ChineseTraditionalLanguage Air "空氣")	domainEnglishFormat.kif 6104-6104	AirStream は Air の subclass では %n
(termFormat EnglishLanguage Air "air")	domainEnglishFormat.kif 6103-6103	AirStream は Air の subclass では %n

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 7615-7624	オブジェクトは Colloid の instance では %n オブジェクトはオブジェクトの part では %n Solid はオブジェクトの attribute では %n Liquid はオブジェクトの attribute では %n オブジェクトは Air の instance では %n オブジェクトはオブジェクトの part では %n オブジェクトは Aerosal の instance では %n
(=> (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	エンティティーは EngineChoke の instance では %n DeviceOn はエンティティーの attribute では %n は工程の during holds %n{ない} DeviceOff はエンティティーの attribute では %n は工程の during holds %n{ない} 自己接続オブジェクトは EngineCylinder の instance では %n capacity 自己接続オブジェクト and 一定量工程は FourStrokeCompression の instance では %n 工程は FourStrokeCompression の instance では %n eventLocated 工程 and 自己接続オブジェクト eventLocated 工程 and 自己接続オブジェクトオブジェクトは Air の instance では %n オブジェクトは Fuel の instance では %n オブジェクトは一定量IX1 の part では %n オブジェクトは一定量IX1 の part では %n 一定量IX1 の measure は一定量では %n オブジェクトは Air の instance では %n オブジェクトは Fuel の instance では %n オブジェクトは一定量IX2 の part では %n オブジェクトは一定量IX2 の part では %n 一定量IX2 の measure は一定量では %n 測定単位は測定単位の instance では %n オブジェクトの measure はオブジェクトM の測定単位(s) では %n オブジェクトの measure はオブジェクトM の測定単位(s) では %n オブジェクトの measure はオブジェクトM の測定単位(s) では %n オブジェクトの measure はオブジェクトM の測定単位(s) では %n オブジェクトM + オブジェクトM はオブジェクトM + オブジェクトM より greater では　%n
(=> (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	工程は Tornado の instance では %n 工程は Rotating の instance では %n オブジェクトは Air の instance では %n 工程RAN は Translocation の instance では %n 工程は工程% の subprocess では %n 工程RAN は工程% の subprocess では %n オブジェクトは工程RAN の patient では %n プロセス工程RAN のエンテテｲは Horizontal を moving して %n オブジェクト自己接続オブジェクト, 工程OP, 自己接続オブジェクト, 自己接続オブジェクト and 自己接続オブジェクトオブジェクトは地理的地域の instance では %n eventLocated 工程 and オブジェクト自己接続オブジェクトはオブジェクトの part では %n ConeSegment は自己接続オブジェクトの attribute では %n 自己接続オブジェクトの top は工程OP では自己接続オブジェクトの bottom は自己接続オブジェクトでは %n 自己接続オブジェクトは Cloud の instance では %n 自己接続オブジェクトの bottom は自己接続オブジェクトでは %n 工程OP は自己接続オブジェクトと meets %n{ない} 自己接続オブジェクトはオブジェクトと meets %n{ない}
(=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Nitrogen) (part ?PART ?AIR))))	Weather.kif 55-60	オブジェクトは Air の instance では %n オブジェクトオブジェクトは Nitrogen の instance では %n オブジェクトはオブジェクトの part では %n
(=> (instance ?AIR Air) (exists (?PART) (and (instance ?PART Oxygen) (part ?PART ?AIR))))	Weather.kif 48-53	オブジェクトは Air の instance では %n オブジェクトオブジェクトは Oxygen の instance では %n オブジェクトはオブジェクトの part では %n
(=> (instance ?AIR Air) (piece ?AIR EarthsAtmosphere))	Weather.kif 37-39	物質は Air の instance では %n 物質は EarthsAtmosphere の piece では %n

consequent

(=> (and (instance ?LECS AirEngineCoolingSystem) (instance ?C Cooling) (instrument ?C ?LECS)) (exists (?A) (and (instance ?A Air) (objectTransferred ?C ?A))))	Cars.kif 2166-2174	オブジェクトは AirEngineCoolingSystem の instance では %n 移動は冷却の instance では %n オブジェクトは移動の instrument では %n オブジェクトオブジェクトは Air の instance では %n objectTransferred 移動 and オブジェクト
(=> (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 844-866	オブジェクトは VentedChestSeal の instance では %n 移動は取付けの instance では %n objectTransferred 移動 and オブジェクト移動はエンティティーに ends %n{ない} オブジェクトは移動エンティティー, エンティティー and エンティティー移動は Air の instance では %n エンティティーは Lung の instance では %n エンティティーは Chest の instance では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーの part では %n 移動はエンティティーとエンティティーの between では %n は移動の time の existence の immediately before の during holds %n{ない} オブジェクトは移動は Outside 対エンティティーでは %n は移動の time の existence のすぐ after の during holds %n{ない} の目的 %n{ない} の目的 %n{ない}
(=> (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 790-801	Pneumothorax はエンティティーの attribute では %n は時間位置の during holds %n{ない} エンティティーエンティティーは Air の instance では %n エンティティーは Lung の instance では %n エンティティーは Chest の instance では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーとエンティティーの between では %n は時間位置の during holds %n{ない}
(=> (instance ?AERATE Aerating) (exists (?AIR ?S) (and (patient ?AERATE ?AIR) (instance ?AIR Air) (patient ?AERATE ?S) (attribute ?S Liquid))))	Mid-level-ontology.kif 2361-2368	工程は Aerating の instance では %n エンティティーオブジェクトエンティティーは工程の patient では %n エンティティーは Air の instance では %n オブジェクトは工程の patient では %n Liquid はオブジェクトの attribute では %n
(=> (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 2348-2356	物理は Aerator の instance では %n 物理はエンティティーエンティティーエンティティーは組み合わせの instance では %n エンティティーはエンティティーの resource では %n エンティティーは Air の instance では %n 物理はエンティティーの instrument では %n の目的 %n{ない}
(=> (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	物理は AirIntake の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは Air の instance では %n エンティティーは Engine の instance では %n エンティティーは移動の instance では %n エンティティーは物理から originates %n{ない} エンティティーはエンティティーに ends %n{ない} エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A) (and (instance ?A Air) (contains ?AI ?A)))))	Cars.kif 965-971	物理は AirIntake の instance では %n 物理はエンティティーエンティティーは Air の instance では %n 物理はエンティティーを contains %n{ない} の目的 %n{ない}
(=> (instance ?AIRSPACE AtmosphericRegion) (exists (?AIR) (and (instance ?AIR Air) (part ?AIR ?AIRSPACE))))	Weather.kif 41-46	オブジェクトは AtmosphericRegion の instance では %n オブジェクトオブジェクトは Air の instance では %n オブジェクトはオブジェクトの part では %n
(=> (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 27182-27190	物理は AirPump の instance では %n 物理はエンティティーエンティティーエンティティーは交通手段の instance では %n エンティティーは Air の instance では %n 物理はエンティティーの instrument では %n エンティティーはエンティティーの patient では %n の目的 %n{ない}
(=> (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	物理は BleedingAir の instance では %n 物理はエンティティーエンティティーエンティティーは FluidContainer の instance では %n エンティティーは Air の instance では %n エンティティーはエンティティーを contains %n{ない} は物理の immediately before の during holds %n{ない} エンティティーはエンティティーを contain ないは物理のすぐ after の during holds %n{ない} の目的 %n{ない}
(=> (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	物理は FuelAtomizer の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは Fuel の instance では %n エンティティーは Spraying の instance では %n エンティティーは Air の instance では %n エンティティーは燃焼の instance では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの resource では %n エンティティーはエンティティーの resource では %n の目的 %n{ない}
(=> (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	物理は AirFilter の instance では %n 物理はエンティティーエンティティー, エンティティー and エンティティーエンティティーは除却の instance では %n エンティティーはエンティティーの part では %n エンティティーは Air の instance では %n エンティティーは Air の instance では Solid はエンティティーの attribute では %n エンティティーはエンティティーの patient では %n エンティティーはエンティティーの part では %n エンティティーはエンティティーから originates %n{ない} エンティティーは混合物の instance では %n 物理はエンティティーの instrument では %n の目的 %n{ない}
(=> (instance ?FRONT StormFront) (exists (?AIR1 ?AIR2) (and (instance ?AIR1 Air) (instance ?AIR2 Air) (between ?AIR1 ?FRONT ?AIR2))))	Mid-level-ontology.kif 10305-10311	オブジェクトは StormFront の instance では %n オブジェクトオブジェクトオブジェクトは Air の instance では %n オブジェクトは Air の instance では %n オブジェクトはオブジェクトとオブジェクトの between では %n
(=> (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	工程は Haboob の instance では %n 工程工程 and エンティティー工程は Thunderstorm の instance では %n 工程は MotionDownward の instance では %n エンティティーは Air の instance では %n エンティティーは工程の patient では %n 工程は工程% の subprocess では %n 工程は工程を causes %n{ない}
(=> (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	物理は MassAirflowSensor の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは移動の instance では %n エンティティーは Air の instance では %n エンティティーはエンティティーの patient では %n エンティティーは計測の instance では %n エンティティーはエンティティーの patient では %n 物理はエンティティーの instrument では %n の目的 %n{ない}
(=> (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	物理は Supercharger の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは GasMotion の instance では %n エンティティーは物理から originates %n{ない} エンティティーは IntakeValve の instance では %n エンティティーはエンティティーに ends %n{ない} エンティティーは Air の instance では %n objectTransferred エンティティー and エンティティー Pressurized はエンティティーの attribute では %n はエンティティーの time の existence の during holds %n{ない} の目的 %n{ない}
(=> (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	物理は Storm の instance では %n エンティティーエンティティー, エンティティー and エンティティーエンティティーは LowPressureWeatherSystem の instance では %n エンティティーは地域の instance では %n eventLocated エンティティー and エンティティーエンティティーは Air の instance では %n エンティティーは MotionUpward の instance では %n エンティティーはエンティティーの patient では %n eventLocated エンティティー and エンティティーエンティティーはエンティティー% の subprocess では %n は物理の time の existence の during holds %n{ない}
(=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air))))	Merge.kif 14937-14942	工程は Wind の instance では %n エンティティーエンティティーは工程の patient では %n エンティティーは Air の instance では %n
(=> (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 28502-28512	物理は RoomHeater の instance では %n 物理はエンティティーエンティティー and エンティティーエンティティーは Air の instance では %n エンティティーは部屋の instance では %n エンティティーはエンティティーに located して %n エンティティーは加熱の instance では %n エンティティーはエンティティーの patient では %n 物理はエンティティーの instrument では %n の目的 %n{ない}

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