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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TropicalCyclone
TropicalCyclone(tropical cyclone)

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


(documentation TropicalCyclone ChineseLanguage "TropicalCyclone 热带气旋是 热带氣旋系统的一个统称,它的一分钟平均风速一般达每小时44英里(MilesPerHour)或更高的风速。") Weather.kif 676-677
(documentation TropicalCyclone EnglishLanguage "TropicalCyclone is a generic term for TropicalCyclonicSystems with 1-minute sustained winds of 44 MilesPerHour (mph)or higher.") Weather.kif 673-675
(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 "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ Hurricane_structure_graphic.jpg") pictureList.kif 3253-3253
(subclass TropicalCyclone TropicalCyclonicSystem) Weather.kif 672-672 Tropical cyclone is a subclass of tropical cyclonic system

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


(termFormat ChineseLanguage TropicalCyclone "热带气旋") domainEnglishFormat.kif 59213-59213
(termFormat ChineseTraditionalLanguage TropicalCyclone "熱帶氣旋") domainEnglishFormat.kif 59212-59212
(termFormat EnglishLanguage TropicalCyclone "tropical cyclone") domainEnglishFormat.kif 59211-59211

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


(=>
    (and
        (instance ?TC TropicalCyclone)
        (destination ?TC ?DEST)
        (instance ?DEST GeographicArea))
    (not
        (exists (?L ?SL ?X)
            (and
                (instance ?L LandArea)
                (instance ?SL Shoreline)
                (located ?DEST ?L)
                (distance ?L ?SL
                    (MeasureFn ?X Mile))
                (greaterThan ?X 200.0)))))
Weather.kif 693-706
(=>
    (instance ?TC TropicalCyclone)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 44.0))))
Weather.kif 681-691

consequent
-------------------------


(=>
    (instance ?H Hurricane)
    (exists (?TC ?PLACE ?WIND)
        (and
            (instance ?TC TropicalCyclone)
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 74.0))))
Weather.kif 740-751
(=>
    (instance ?T Typhoon)
    (exists (?TC ?PLACE ?WIND)
        (and
            (instance ?TC TropicalCyclone)
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean10MinutesWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 64.0))))
Weather.kif 774-785


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