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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hurricane
Hurricane

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


(documentation Hurricane ChineseLanguage "颶風(Hurricane)是在东北太平洋(NortheasternPacificOcean) 或北大西洋(NorthAtlanticOcean)形成、1分钟平均地面风速(Mean1MinuteWindSpeedFn) 达到或高于每小时74英里 (MilesPerHour)的热带气旋(TropicalCyclone)。按照萨菲尔辛普森飓风风力等级(SSHWSAttribute)可分为五个等级。") Weather.kif 733-735
(documentation Hurricane EnglishLanguage "Hurricanes are TropicalCyclones formed in NortheasternPacificOcean or NorthAtlanticOcean with Mean1MinuteWindSpeedFn (1-minute sustained winds)equal to or over 74 MilesPerHour.They are classified into 5 categories based on the SSHWSAttribute (Saffir-Simpson hurricane wind scale).") Weather.kif 729-732
(externalImage Hurricane "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ pictures/ hurricane.png") pictureList.kif 510-510
(subclass Hurricane TropicalCyclonicSystem) Weather.kif 736-736

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


(termFormat ChineseLanguage Hurricane "颶風") Weather.kif 738-738
(termFormat ChineseLanguage Hurricane "飓风") domainEnglishFormat.kif 28957-28957
(termFormat ChineseTraditionalLanguage Hurricane "颶風") domainEnglishFormat.kif 28956-28956
(termFormat EnglishLanguage Hurricane "hurricane") domainEnglishFormat.kif 28955-28955

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


(=>
    (and
        (instance ?H Hurricane)
        (eventLocated ?H ?P)
        (instance ?P GeographicArea)
        (or
            (located ?P ?SEA)
            (meetsSpatially ?P ?SEA)))
    (or
        (equal ?SEA NortheasternPacificOcean)
        (equal ?SEA NorthAtlanticOcean)))
Weather.kif 753-763
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWS5)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS)))
    (exists (?WIND)
        (and
            (greaterThan ?WIND 157.0)
            (believes ?A
                (equal
                    (MeasureFn ?WIND MilesPerHour)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))
Weather.kif 2443-2457
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWSAttribute)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS))
        (speedScaleAttributeMinMax ?SS
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?WIND)
        (and
            (greaterThanOrEqualTo ?WIND ?MIN)
            (lessThanOrEqualTo ?WIND ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?WIND ?U)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))
Weather.kif 2365-2384
(=>
    (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 740-751

consequent
-------------------------


(=>
    (and
        (instance ?SS SSHWSAttribute)
        (property ?H ?SS))
    (instance ?H Hurricane))
Weather.kif 2359-2363


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