Wind - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Wind

Wind(風)

appearance as argument number 1

(documentation Wind ChineseLanguage "这是 Air 的任何 Motion。")	chinese_format.kif 3027-3027
(documentation Wind EnglishLanguage "Any Motion of Air.")	Merge.kif 11279-11279
(documentation Wind JapaneseLanguage "Air の任意の Motion。")	japanese_format.kif 1792-1792
(externalImage Wind "http://articulatesoftware.com/SUMOpictures/weather/ wind.png")	pictureList.kif 839-839
(externalImage Wind "http://upload.wikimedia.org/wikipedia/commons/c/cd/ Cessna_182_model-wingtip-vortex.jpg")	pictureList.kif 2064-2064
(subclass Wind GasMotion)	Merge.kif 11278-11278	子類風 and 氣體運動
(subclass Wind WeatherProcess)	Weather.kif 1237-1237	子類風 and 天氣過程

appearance as argument number 2

(subclass ChinookWind Wind)	Weather.kif 1245-1245	子類奇努克風 and 風
(subclass Ghibli Wind)	Weather.kif 1244-1244	子類吉卜力 and 風
(subclass HarmattanWind Wind)	Weather.kif 1241-1241	子類哈馬坦風 and 風
(subclass Khamsin Wind)	Weather.kif 1242-1242	子類坎辛風 and 風
(subclass Mistral Wind)	Weather.kif 1243-1243	子類寒冷西北風 and 風
(subclass Sirocco Wind)	Weather.kif 1240-1240	子類熱風 and 風
(subclass StrongWind Wind)	Weather.kif 1239-1239	子類大風 and 風
(termFormat ChineseLanguage Wind "风")	domainEnglishFormat.kif 63099-63099
(termFormat ChineseTraditionalLanguage Wind "風")	domainEnglishFormat.kif 63098-63098
(termFormat EnglishLanguage Wind "wind")	domainEnglishFormat.kif 63097-63097

appearance as argument number 3

(domain windDrivenMotion 1 Wind)

Weather.kif 327-327

域 windDrivenMotion, 1 and 風

antecedent

(=> (and (instance ?DUSTSTORM DustStorm) (instance ?WIND Wind) (subProcess ?DUSTSTORM ?WIND)) (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG) (and (instance ?A1 LandArea) (eventLocated ?WIND ?A1) (surfaceWindSpeed ?A1 (MeasureFn ?STRONG KnotUnitOfSpeed)) (greaterThan ?STRONG 30.0) (instance ?TRANSLOCATE Translocation) (subProcess ?TRANSLOCATE ?DUSTSTORM) (objectTransferred ?TRANSLOCATE ?PM) (objectTransferred ?TRANSLOCATE ?SAND) (instance ?PM ParticulateMatter) (instance ?SAND Sand) (instance ?A2 LandArea) (destination ?TRANSLOCATE ?A2) (not (overlapsSpatially ?A1 ?A2)))))	Weather.kif 1271-1292	例 Process and 塵暴例 Process and 風子過程 Process and Process Transfer Object, Object, Object, Object and RealNumber 例 Object and LandArea Process 是 located 在 Object 測量 RealNumber and 結速度單位是 Object 的 surface 風速比較多 RealNumber and 30.0 例 Transfer and 易位子過程 Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object 例 Object and ParticulateMatter 例 Object and 砂例 Object and LandArea 目的地 Transfer and Object 在空間上重疊 Object and Object
(=> (and (instance ?PLACE Object) (instance ?BLOW Wind) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION))) (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION))	Weather.kif 125-130	例 Region and Object 例 Physical and 風測量 Physical and 速度 LengthMeasure, TimeDuration, Region and DirectionalAttribute Region 是對於 DirectionalAttribute 的 surface 風速率速度 LengthMeasure and TimeDuration
(=> (and (instance ?W Wind) (instance ?BN BeaufortNumber12) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN))) (exists (?SPEED) (and (greaterThan ?SPEED 73.0) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED MilesPerHour))))))	Weather.kif 484-496	例 Process and 風例 Entity and BeaufortNumber12 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 73.0 相信 CognitiveAgent and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速
(=> (and (instance ?W Wind) (instance ?BN BeaufortNumberAttribute) (eventLocated ?W ?AREA) (believes ?A (property ?W ?BN)) (speedScaleAttributeMinMax ?BN (MeasureFn ?MIN ?U) (MeasureFn ?MAX ?U)) (instance ?U UnitOfMeasure)) (exists (?SPEED) (and (greaterThanOrEqualTo ?SPEED ?MIN) (lessThanOrEqualTo ?SPEED ?MAX) (believes ?A (surfaceWindSpeed ?AREA (MeasureFn ?SPEED ?U))))))	Weather.kif 349-366	例 Process and 風例 SpeedScaleAttribute and BeaufortNumberAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and UnitOfMeasure and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfMeasure RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 測量 RealNumber and UnitOfMeasure 是 Object 的 surface 風速
(=> (and (instance ?W Wind) (located ?W ?L) (equal ?T (WhenFn ?W)) (holdsDuring ?T (surfaceWindSpeed ?L (MeasureFn ?N MilesPerHour)))) (greaterThan ?N 20.0))	Merge.kif 11286-11294	例 Physical and 風位於 Physical and Object 等於 TimeInterval and 何時 Physical 持有期間 TimeInterval and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速比較多 RealNumber and 20.0
(=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air))))	Merge.kif 14821-14826	例 Process and 風 Entity 患者 Process and Entity 例 Entity and 空氣

consequent

(=> (and (instance ?BN BeaufortNumberAttribute) (property ?X ?BN)) (instance ?X Wind))	Weather.kif 343-347	例 Attribute and BeaufortNumberAttribute 屬性 Entity and Attribute 例 Entity and 風
(=> (and (surfaceWindVelocity ?PLACE (SpeedFn ?DIST ?TIME) ?DIRECTION) (instance ?PLACE WindFlow)) (exists (?BLOW) (and (instance ?BLOW Wind) (eventPartlyLocated ?BLOW ?PLACE) (measure ?BLOW (VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))))	Weather.kif 115-123	Region 是對於 DirectionalAttribute 的 surface 風速率速度 LengthMeasure and TimeDuration 例 Region and WindFlow Process 例 Process and 風 Process 是 partly located 在 Region 測量 Process and 速度 LengthMeasure, TimeDuration, Region and DirectionalAttribute
(=> (instance ?F FanDevice) (hasPurpose ?F (exists (?W) (and (instance ?W Wind) (instrument ?W ?F)))))	Mid-level-ontology.kif 2297-2303	例 Physical and 風扇裝置有目的 Physical and entity 例 entity and 風儀器 entity and Physical
(=> (instance ?R WindFlow) (exists (?WIND) (and (instance ?WIND Wind) (eventLocated ?WIND ?R))))	Weather.kif 94-99	例 Object and WindFlow Process 例 Process and 風 Process 是 located 在 Object
(=> (instance ?X WindSurfing) (exists (?BOARD ?WATER ?MOTION ?WIND) (and (instance ?BOARD WindSurfingBoard) (instance ?WATER WaterArea) (instance ?WIND Wind) (instance ?MOTION Motion) (eventLocated ?X ?WATER) (subProcess ?MOTION ?X) (instrument ?MOTION ?BOARD) (causes ?WIND ?MOTION))))	Sports.kif 1305-1316	例 Process and WindSurfing Object Object, Process and Process 例 Object and WindSurfingBoard 例 Object and WaterArea 例 Process and 風例 Process and Motion Process 是 located 在 Object 子過程 Process and Process 儀器 Process and Object 原因 Process and Process
(=> (surfaceWindDirection ?PLACE ?DIR) (exists (?WIND ?FROM) (and (instance ?WIND Wind) (instance ?FROM Region) (eventPartlyLocated ?WIND ?PLACE) (origin ?WIND ?FROM) (orientation ?FROM ?PLACE ?DIR))))	Weather.kif 178-186	DirectionalAttribute 是 Object 的 surface 風向 Process Object 例 Process and 風例 Object and Region Process 是 partly located 在 Object 起源 Process and Object 方位 Object, Object and DirectionalAttribute

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