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 11257-11257
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 11256-11256	风是气体运动的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1241-1241	风是天气过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1249-1249	奇努克风是风的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1248-1248	吉卜力是风的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1245-1245	哈马坦风是风的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1246-1246	坎辛风是风的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1247-1247	寒冷西北风是风的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1244-1244	热风是风的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1243-1243	大风是风的 subclass
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

风力驱动运动的 1 数量是风的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	如果过程是尘暴的 instance 和另一个过程是风的 instance 和那个过程%n是那个另外过程的subProcess，然后有存在转移，客体,，，另一个客体,，，第三客体,，，第四客体， and 和实数这样那个第三客体是土地面积的 instance 和那个另外过程是 located 在那个第三客体和那个实数结速度单位是那个第三客体的 surface 风速和那个实数是 greaterThan 30.0 和那个转移是易位的 instance 和那个转移%n是那个过程的subProcess 和 objectTransferred 那个转移 and 那个客体和 objectTransferred 那个转移 and 那个另外客体和那个客体是悬浮颗粒的 instance 和那个另外客体是砂的 instance 和那个第四客体是土地面积的 instance 和那个转移在那个第四客体结束和那个第三客体和那个第四客体不重叠
No TPTP formula. May not be expressible in strict first order.	Weather.kif 125-130	如果地区是客体的 instance 和物理是风的 instance 和那个物理的 measure 是长度测量除以持续时间在那个地区处往方向属性方向，然后那个地区是对于那个方向属性的 surface 风速率那个长度测量除以那个持续时间
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	如果过程是风的 instance 和实体是浦氏12风级的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 73.0 和那个有认知的主事 believes 那个实数英里每小時是那个客体的 surface 风速
No TPTP formula. May not be expressible in strict first order.	Weather.kif 349-366	如果过程是风的 instance 和时速级数属性是浦福氏风级属性的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数测量单位和另一个实数那个测量单位和那个测量单位是测量单位的 instance，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数那个测量单位是那个客体的 surface 风速
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11264-11272	如果物理是风的 instance 和那个物理是 located 在客体和时距 equal 那个物理出现的 time 和实数英里每小時是那个客体的 surface 风速在那个时距 holdsDuring，然后那个实数是 greaterThan 20.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14799-14804	如果过程是风的 instance，然后有存在实体这样那个实体是那个过程的 patient 和那个实体是空气的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 343-347	如果属性是浦福氏风级属性的 instance 和实体有那个属性的 attribute，然后那个实体是风的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 115-123	如果地区是对于方向属性的 surface 风速率长度测量除以持续时间和那个地区是大气气流的 instance，然后有存在过程这样那个过程是风的 instance 和那个过程是 partly located 在那个地区和那个过程的 measure 是那个长度测量除以那个持续时间在那个地区处往那个方向属性方向
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2297-2303	如果物理是风扇装置的 instance，然后那个物理的目的是有存在实体这样那个实体是风的 instance 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Weather.kif 94-99	如果客体是大气气流的 instance，然后有存在过程这样那个过程是风的 instance 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1304-1315	如果过程是 WindSurfing 的 instance，然后有存在客体，另一个客体,，，另一个过程， and 和第三过程这样那个客体是 WindSurfingBoard 的 instance 和那个另外客体是水域的 instance 和那个第三过程是风的 instance 和那个另外过程是运动的 instance 和那个过程是 located 在那个另外客体和那个另外过程%n是那个过程的subProcess 和那个客体是导致那个另外过程的 instrument 和那个第三过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 178-186	如果方向属性是客体的 surface 风向，然后有存在过程和另一个客体这样那个过程是风的 instance 和那个另外客体是地区的 instance 和那个过程是 partly located 在那个客体和那个另外客体是那个过程的源头和那个另外客体在那个客体的那个方向属性

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