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 飓风热带氣旋系统subclass

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


(termFormat ChineseLanguage Hurricane "颶風") Weather.kif 738-738
(termFormat ChineseLanguage Hurricane "飓风") domainEnglishFormat.kif 28962-28962
(termFormat ChineseTraditionalLanguage Hurricane "颶風") domainEnglishFormat.kif 28961-28961
(termFormat EnglishLanguage Hurricane "hurricane") domainEnglishFormat.kif 28960-28960

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 2442-2456
(=>
    (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 2364-2383
(=>
    (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 2358-2362


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