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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Typhoon

appearance as argument number 1

(documentation Typhoon ChineseLanguage "颱風(Typhoon)是10分钟平均地面风速(Mean10MinutesWindSpeedFn) 达到或高于每小时64 英里(MilesPerHour)在西北太平洋(NorthwesternPacificOcean)的热带气旋(TropicalCyclone)。") Weather.kif 768-769
(documentation Typhoon EnglishLanguage "Typhoons are TropicalCyclones with Mean10MinutesWindSpeedFn (10-minute sustained winds) equal to or over 64 MilesPerHour formed in NorthwesternPacificOcean.") Weather.kif 765-767
(externalImage Typhoon " 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG/ 250px-Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG") pictureList.kif 1277-1277
(subclass Typhoon TropicalCyclonicSystem) Weather.kif 770-770

appearance as argument number 2

(termFormat ChineseLanguage Typhoon "台风") domainEnglishFormat.kif 59744-59744
(termFormat ChineseLanguage Typhoon "颱風") Weather.kif 772-772
(termFormat ChineseTraditionalLanguage Typhoon "颱風") domainEnglishFormat.kif 59743-59743
(termFormat EnglishLanguage Typhoon "typhoon") domainEnglishFormat.kif 59742-59742


        (instance ?T Typhoon)
        (eventLocated ?T ?P)
        (instance ?P GeographicArea))
        (located ?P NorthwesternPacificOcean)
        (meetsSpatially ?P NorthwesternPacificOcean)))
Weather.kif 787-794
    (instance ?T Typhoon)
    (exists (?TC ?PLACE ?WIND)
            (instance ?TC TropicalCyclone)
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
                (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