| AtmosphericRegion(大气地区)
| |
| appearance as argument number 1 |
|
|
| (documentation AtmosphericRegion EnglishLanguage "AtmosphericRegion is the class of all subregions of EarthsAtmosphere.") | Mid-level-ontology.kif 8632-8633 | |
| (externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Atmospheric_Water_Vapor_Mean.2005.030.jpg") | pictureList.kif 8357-8357 | |
| (externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ b/ be/ Top_of_Atmosphere.jpg") | pictureList.kif 8931-8931 | |
| (externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ d/ de/ Atmosphere_model.png") | pictureList.kif 8934-8934 | |
| (externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ en/ e/ e6/ Layers.jpg") | pictureList.kif 8933-8933 | |
| (subclass AtmosphericRegion SpaceRegion) | Mid-level-ontology.kif 8631-8631 | 大气地区 是 空间区域 的 subclass |
| appearance as argument number 2 |
|
|
| (instance OzoneShield AtmosphericRegion) | Geography.kif 2775-2775 | 臭氧盾 是 大气地区 的 instance |
| (partition SpaceRegion AtmosphericRegion OuterSpaceRegion) | Mid-level-ontology.kif 8672-8672 | 空间区域 详尽无遗地 partition 成 大气地区 和 外太空区域 |
| (subclass StormFront AtmosphericRegion) | Mid-level-ontology.kif 8680-8680 | 暴风雨前线 是 大气地区 的 subclass |
| (termFormat ChineseLanguage AtmosphericRegion "大气地区") | domainEnglishFormat.kif 8925-8925 | |
| (termFormat ChineseTraditionalLanguage AtmosphericRegion "大氣地區") | domainEnglishFormat.kif 8924-8924 | |
| (termFormat EnglishLanguage AtmosphericRegion "atmospheric region") | domainEnglishFormat.kif 8923-8923 |
| antecedent |
|
|
| (=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000.0)) |
Weather.kif 2536-2549 | |
| (=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2.0) (lessThan ?VISIBILITY 5.0))) |
Weather.kif 2565-2579 | |
| (=> (instance ?AIRSPACE AtmosphericRegion) (exists (?AIR) (and (instance ?AIR Air) (part ?AIR ?AIRSPACE)))) |
Weather.kif 41-46 | |
| (=> (instance ?AIRSPACE AtmosphericRegion) (part ?AIRSPACE EarthsAtmosphere)) |
Weather.kif 33-35 |
| consequent |
|
|
| (=> (and (instance ?FLYING Flying) (patient ?FLYING ?ALM) (instance ?ALM AirLaunchMissile)) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?FLYING)) (located ?ALM ?REGION))))) |
MilitaryDevices.kif 944-955 | |
| (=> (instance ?FLY Flying) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (eventLocated ?FLY ?REGION)))) |
Mid-level-ontology.kif 16668-16673 | |
| (=> (instance ?LAND Landing) (exists (?REGION ?FLYING) (and (not (instance ?REGION AtmosphericRegion)) (holdsDuring (EndFn (WhenFn ?LAND)) (eventLocated ?LAND ?REGION)) (subProcess ?FLYING ?LAND) (instance ?FLYING Flying)))) |
Mid-level-ontology.kif 16692-16699 | |
| (=> (instance ?M AirAttackMissile) (hasPurpose ?M (exists (?OBJ ?REGION ?DAMAGE) (and (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?DAMAGE Damaging) (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?DAMAGE)) (and (located ?M ?REGION) (located ?OBJ ?REGION))))))) |
MilitaryDevices.kif 976-990 | |
| (=> (instance ?OFF TakingOff) (exists (?REGION ?FLYING) (and (not (instance ?REGION AtmosphericRegion)) (holdsDuring (BeginFn (WhenFn ?OFF)) (eventLocated ?OFF ?REGION)) (subProcess ?FLYING ?OFF) (instance ?FLYING Flying)))) |
Mid-level-ontology.kif 16679-16686 | |
| (=> (instance ?PM ParticulateMatter) (exists (?P ?ATMOSPHERE ?S) (and (instance ?ATMOSPHERE AtmosphericRegion) (located ?PM ?ATMOSPHERE) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 1000.0 ?S)))) |
Geography.kif 7129-7138 | |
| (=> (instance ?TRANSPORT AirTransportation) (exists (?CRAFT ?REGION) (and (instance ?CRAFT Aircraft) (instance ?REGION AtmosphericRegion) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?REGION)))) |
Mid-level-ontology.kif 17101-17108 |
|
|
|