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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3027-3027
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11279-11279
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1792-1792
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 839-839
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2064-2064
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11278-11278	子類風 and 氣體運動
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1237-1237	子類風 and 天氣過程

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1245-1245	子類奇努克風 and 風
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1244-1244	子類吉卜力 and 風
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1241-1241	子類哈馬坦風 and 風
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1242-1242	子類坎辛風 and 風
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1243-1243	子類寒冷西北風 and 風
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1240-1240	子類熱風 and 風
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1239-1239	子類大風 and 風
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63099-63099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63098-63098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63097-63097

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Weather.kif 327-327

域 windDrivenMotion, 1 and 風

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 125-130	例 Region and Object 例 Physical and 風測量 Physical and 速度 LengthMeasure, TimeDuration, Region and DirectionalAttribute Region 是對於 DirectionalAttribute 的 surface 風速率速度 LengthMeasure and TimeDuration
No TPTP formula. May not be expressible in strict first order.	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 風速
No TPTP formula. May not be expressible in strict first order.	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 風速
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11286-11294	例 Physical and 風位於 Physical and Object 等於 TimeInterval and 何時 Physical 持有期間 TimeInterval and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速比較多 RealNumber and 20.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14821-14826	例 Process and 風 Entity 患者 Process and Entity 例 Entity and 空氣

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 343-347	例 Attribute and BeaufortNumberAttribute 屬性 Entity and Attribute 例 Entity and 風
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2297-2303	例 Physical and 風扇裝置有目的 Physical and entity 例 entity and 風儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 94-99	例 Object and WindFlow Process 例 Process and 風 Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 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