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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Typhoon

Sigma KEE - Typhoon
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 "http://upload.wikimedia.org/wikipedia/commons/thumb/ 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 Typhoon est une sous-classe de TropicalCyclonicSystem

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

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


(=>
    (and
        (instance ?T Typhoon)
        (eventLocated ?T ?P)
        (instance ?P GeographicArea))
    (or
        (located ?P NorthwesternPacificOcean)
        (meetsSpatially ?P NorthwesternPacificOcean)))
Weather.kif 787-794
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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