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 764-765
(documentation Typhoon EnglishLanguage "Typhoons are TropicalCyclones with Mean10MinutesWindSpeedFn (10-minute sustained winds) equal to or over 64 MilesPerHour formed in NorthwesternPacificOcean.") Weather.kif 761-763
(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 766-766 Typhoon e' uma sub-classe de TropicalCyclonicSystem

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


(termFormat ChineseLanguage Typhoon "台风") domainEnglishFormat.kif 59744-59744
(termFormat ChineseLanguage Typhoon "颱風") Weather.kif 768-768
(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 783-790
(=>
    (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 770-781


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