Tornado - Sigma Knowledge base Browser

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

(documentation Tornado ChineseLanguage "Tornado 是一团从积雨云底部延伸到地面，快速旋转的 Air。")	Weather.kif 1237-1238
(documentation Tornado EnglishLanguage "A Tornado is a rapidly rotating column of Air which extends from the Cloud base of a cumulonimbus to the ground.")	Weather.kif 1234-1235
(externalImage Tornado "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ pictures/ tornado_1884.png")	pictureList.kif 789-789
(subclass Tornado WeatherProcess)	Weather.kif 1240-1240	subclass Tornado and WeatherProcess

appearance as argument number 2

(termFormat ChineseLanguage Tornado "龙卷风")	domainEnglishFormat.kif 58384-58384
(termFormat ChineseTraditionalLanguage Tornado "龍捲風")	domainEnglishFormat.kif 58383-58383
(termFormat EnglishLanguage Tornado "tornado")	domainEnglishFormat.kif 58382-58382

antecedent

(=> (and (instance ?T Tornado) (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal)) (exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE) (and (instance ?G GeographicArea) (eventLocated ?T ?G) (part ?FUNNEL ?A) (attribute ?FUNNEL ConeSegment) (top ?TOP ?FUNNEL) (bottom ?BOTTOM ?FUNNEL) (instance ?C Cloud) (bottom ?BASE ?C) (meetsSpatially ?TOP ?BASE) (meetsSpatially ?BOTTOM ?G))))	Weather.kif 1254-1275	instance Process and Tornado instance Process and Rotating instance Object and Air instance ProcessRAN and Translocation subProcess Process and Process subProcess ProcessRAN and Process patient ProcessRAN and Object direction ProcessRAN and Horizontal Object SelfConnectedObject, ProcessOP, SelfConnectedObject, SelfConnectedObject and SelfConnectedObject instance Object and GeographicArea eventLocated Process and Object part SelfConnectedObject and Object attribute SelfConnectedObject and ConeSegment top ProcessOP and SelfConnectedObject bottom SelfConnectedObject and SelfConnectedObject instance SelfConnectedObject and Cloud bottom SelfConnectedObject and SelfConnectedObject meetsSpatially ProcessOP and SelfConnectedObject meetsSpatially SelfConnectedObject and Object
(=> (instance ?T Tornado) (exists (?R ?A) (and (instance ?R Rotating) (instance ?A Air) (instance ?TRAN Translocation) (subProcess ?R ?T) (subProcess ?TRAN ?R) (patient ?TRAN ?A) (direction ?TRAN Horizontal))))	Weather.kif 1242-1252	instance Process and Tornado Process Entity instance Process and Rotating instance Entity and Air instance ProcessRAN and Translocation subProcess Process and Process subProcess ProcessRAN and Process patient ProcessRAN and Entity direction ProcessRAN and Horizontal

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