Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TropicalCyclone
TropicalCyclone

appearance as argument number 1
-------------------------


(documentation TropicalCyclone EnglishLanguage "TropicalCyclone is the class of CyclonicStorms that occur in the Tropics and typically have rotational winds of hurricane force (74 mph or higher).") Weather.kif 390-392
(externalImage TropicalCyclone "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") pictureList.kif 3021-3021 externalImage TropicalCyclone and "http://upload.wikimedia.org/wikipedia/commons/8/89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG"
(externalImage TropicalCyclone "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ Hurricane_structure_graphic.jpg") pictureList.kif 3253-3253 externalImage TropicalCyclone and "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Hurricane_structure_graphic.jpg"
(subclass TropicalCyclone CyclonicStorm) Weather.kif 388-388 subclass TropicalCyclone and CyclonicStorm

appearance as argument number 2
-------------------------


(subclass Typhoon TropicalCyclone) Weather.kif 402-402 subclass Typhoon and TropicalCyclone
(termFormat ChineseLanguage TropicalCyclone "热带气旋") domainEnglishFormat.kif 59191-59191 termFormat ChineseLanguage, TropicalCyclone and "热带气旋"
(termFormat ChineseTraditionalLanguage TropicalCyclone "熱帶氣旋") domainEnglishFormat.kif 59190-59190 termFormat ChineseTraditionalLanguage, TropicalCyclone and "熱帶氣旋"
(termFormat EnglishLanguage TropicalCyclone "tropical cyclone") domainEnglishFormat.kif 59189-59189 termFormat EnglishLanguage, TropicalCyclone and "tropical cyclone"

antecedent
-------------------------


(=>
    (instance ?STORM TropicalCyclone)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (geographicSubregion ?PLACE Tropics)
            (eventLocated ?STORM ?PLACE))))
Weather.kif 394-400


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners