Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TropicalCyclone
TropicalCyclone(tropical cyclone)

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


(subclass TropicalCyclone TropicalCyclonicSystem) Weather.kif 1097-1097 Tropical cyclone is a subclass of tropical cyclonic system
(documentation TropicalCyclone EnglishLanguage "TropicalCyclone is a generic term for TropicalCyclonicSystems with 1-minute sustained winds of 44 MilesPerHour (mph)or higher.") Weather.kif 1098-1100 Tropical cyclone is a subclass of tropical cyclonic system
(documentation TropicalCyclone ChineseLanguage "TropicalCyclone 热带气旋是 热带氣旋系统的一个统称，它的一分钟平均风速一般达每小时44英里（MilesPerHour）或更高的风速。") Weather.kif 1101-1102 Tropical cyclone is a subclass of tropical cyclonic system
(externalImage TropicalCyclone "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") pictureList.kif 3019-3019 Tropical cyclone is a subclass of tropical cyclonic system
(externalImage TropicalCyclone "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ Hurricane_structure_graphic.jpg") pictureList.kif 3251-3251 Tropical cyclone is a subclass of tropical cyclonic system

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


(termFormat EnglishLanguage TropicalCyclone "tropical cyclone") domainEnglishFormat.kif 59221-59221
(termFormat ChineseTraditionalLanguage TropicalCyclone "熱帶氣旋") domainEnglishFormat.kif 59222-59222
(termFormat ChineseLanguage TropicalCyclone "热带气旋") domainEnglishFormat.kif 59223-59223

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


(=>
    (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 1106-1116 If X is an instance of tropical cyclone, then there exist Y and Z such that Y is an instance of geographic area and X is located at Y and equal Z miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of X in region Y and Z is greater than or equal to 44.0
(=>
    (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 1118-1131 If X is an instance of tropical cyclone, X ends up at Y, and Y is an instance of geographic area, then there don't exist Z, W and V such that Z is an instance of land area and W is an instance of shoreline and Y is located at Z and the distance between Z and W is V mile(s) and V is greater than 200.0

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 1165-1176 If X is an instance of hurricane, then there exist Y, Z and W such that Y is an instance of tropical cyclone and Z is an instance of geographic area and Y is located at Z and equal W miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of Y in region Z and W is greater than or equal to 74.0
(=>
    (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 1199-1210 If X is an instance of typhoon, then there exist Y, Z and W such that Y is an instance of tropical cyclone and Z is an instance of geographic area and Y is located at Z and equal W miles per hour(s) and Mean10MinutesWindSpeedFn for the time of existence of Y in region Z and W is greater than or equal to 64.0


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners