TreeView Knowledge Base Browser - Wind

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Wind

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 11291-11291
(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 11290-11290	子類風 and 氣體運動
(subclass Wind WeatherProcess)	Weather.kif 1225-1225	子類風 and 天氣過程

appearance as argument number 2

(subclass ChinookWind Wind)	Weather.kif 1233-1233	子類奇努克風 and 風
(subclass Ghibli Wind)	Weather.kif 1232-1232	子類吉卜力 and 風
(subclass HarmattanWind Wind)	Weather.kif 1229-1229	子類哈馬坦風 and 風
(subclass Khamsin Wind)	Weather.kif 1230-1230	子類坎辛風 and 風
(subclass Mistral Wind)	Weather.kif 1231-1231	子類寒冷西北風 and 風
(subclass Sirocco Wind)	Weather.kif 1228-1228	子類熱風 and 風
(subclass StrongWind Wind)	Weather.kif 1227-1227	子類大風 and 風
(termFormat ChineseLanguage Wind "风")	domainEnglishFormat.kif 63101-63101
(termFormat ChineseTraditionalLanguage Wind "風")	domainEnglishFormat.kif 63100-63100
(termFormat EnglishLanguage Wind "wind")	domainEnglishFormat.kif 63099-63099

appearance as argument number 3

(domain windDrivenMotion 1 Wind)

Weather.kif 315-315

域 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 1259-1280	例 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 472-484	例 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 337-354	例 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 風速
(=> (instance ?WIND Wind) (exists (?AIR) (and (patient ?WIND ?AIR) (instance ?AIR Air))))	Merge.kif 14845-14850	例 Process and 風 Entity 患者 Process and Entity 例 Entity and 空氣

consequent

(=> (and (instance ?BN BeaufortNumberAttribute) (property ?X ?BN)) (instance ?X Wind))	Weather.kif 331-335	例 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 2290-2296	例 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
(=> (orientation ?O1 ?O2 Downwind) (exists (?W ?L ?P) (and (instance ?W Wind) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1))))	Mid-level-ontology.kif 29848-29856	方位 Object, Object and 順風 Entity entity and Object 例 Entity and 風路徑 Transfer and Object 起源 Transfer and Object beforeOnPath Object, Object, Object and Transfer 目的地 Transfer and Object
(=> (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 166-174	DirectionalAttribute 是 Object 的 surface 風向 Process Object 例 Process and 風例 Object and Region Process 是 partly located 在 Object 起源 Process and Object 方位 Object, Object and DirectionalAttribute

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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