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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Typhoon
Typhoon

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


(documentation Typhoon ChineseLanguage "颱風(Typhoon)是10分钟平均地面风速(Mean10MinutesWindSpeedFn) 达到或高于每小时64 英里(MilesPerHour)在西北太平洋(NorthwesternPacificOcean)的热带气旋(TropicalCyclone)。") Weather.kif 752-753
(documentation Typhoon EnglishLanguage "Typhoons are TropicalCyclones with Mean10MinutesWindSpeedFn (10-minute sustained winds) equal to or over 64 MilesPerHour formed in NorthwesternPacificOcean.") Weather.kif 749-751
(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 754-754 Typhoon è una sottoclasse di TropicalCyclonicSystem

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


(termFormat ChineseLanguage Typhoon "台风") domainEnglishFormat.kif 59746-59746
(termFormat ChineseLanguage Typhoon "颱風") Weather.kif 756-756
(termFormat ChineseTraditionalLanguage Typhoon "颱風") domainEnglishFormat.kif 59745-59745
(termFormat EnglishLanguage Typhoon "typhoon") domainEnglishFormat.kif 59744-59744

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


(=>
    (and
        (instance ?T Typhoon)
        (eventLocated ?T ?P)
        (instance ?P GeographicArea))
    (or
        (located ?P NorthwesternPacificOcean)
        (meetsSpatially ?P NorthwesternPacificOcean)))
Weather.kif 771-778
(=>
    (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 758-769


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