TreeView Knowledge Base Browser - Tornado

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Tornado

Tornado(龙卷风)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1629-1630
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1627-1628
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 789-789
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1632-1632	龙卷风是气旋风暴的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1631-1631	龙卷风是风暴的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58474-58474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58473-58473
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58472-58472

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2174-2188	如果过程是龙卷风的 instance 和实体是改良藤田5 的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 200.0 和那个有认知的主事 believes 那个实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个客体的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2079-2097	如果过程是龙卷风的 instance 和时速级数属性是改良藤田级数的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数英里每小時和另一个实数英里每小時，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个客体的 ThreeSecondGustSpeedFn (3秒阵风风速)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1634-1655	如果过程是龙卷风的 instance 和另一个过程是旋转的 instance 和客体是空气的 instance 和那个过程RAN 是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个过程RAN%n是那个另外过程的subProcess 和那个客体是那个过程RAN 的 patient 和那个过程RAN 过程的实体向横，然后有存在另一个客体，自身连接物体,，，那个过程OP,，，第三自身连接物体,，，第四自身连接物体， and 和第五自身连接物体这样那个另外客体是地理区域的 instance 和那个过程是 located 在那个另外客体和那个自身连接物体是那个客体的 part 和 ConeSegment 是那个自身连接物体的 attribute 和那个过程OP 是那个自身连接物体的 top 和那个自身连接物体的 bottom 是那个第三自身连接物体和那个第四自身连接物体是云的 instance 和那个第四自身连接物体的 bottom 是那个第五自身连接物体和那个过程OP 接上那个第五自身连接物体和那个第三自身连接物体接上那个另外客体

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2073-2077	如果属性是改良藤田级数的 instance 和实体有那个属性的 attribute，然后那个实体是龙卷风的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2053-2060	如果实体是龙卷风损害的 instance，然后有存在过程和另一个过程这样那个过程是龙卷风的 instance 和那个另外过程是损坏的 instance 和那个过程 causes 那个另外过程和那个实体是那个另外过程的 patient

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