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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hurricane
Hurricane(hurricane)
hurricane

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


(documentation Hurricane ChineseLanguage "颶風(Hurricane)是在东北太平洋(NortheasternPacificOcean) 或北大西洋(NorthAtlanticOcean)形成、1分钟平均地面风速(Mean1MinuteWindSpeedFn) 达到或高于每小时74英里 (MilesPerHour)的热带气旋(TropicalCyclone)。按照萨菲尔辛普森飓风风力等级(SSHWSAttribute)可分为五个等级。") Weather.kif 717-719
(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 713-716
(externalImage Hurricane "http://articulatesoftware.com/SUMOpictures/weather/ pictures/ hurricane.png") pictureList.kif 510-510
(subclass Hurricane TropicalCyclonicSystem) Weather.kif 720-720 Hurricane is a subclass of tropical cyclonic system

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


(termFormat ChineseLanguage Hurricane "颶風") Weather.kif 722-722
(termFormat ChineseLanguage Hurricane "飓风") domainEnglishFormat.kif 28971-28971
(termFormat ChineseTraditionalLanguage Hurricane "颶風") domainEnglishFormat.kif 28970-28970
(termFormat EnglishLanguage Hurricane "hurricane") domainEnglishFormat.kif 28969-28969

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 737-747
(=>
    (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 2426-2440
(=>
    (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 2348-2367
(=>
    (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 724-735

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


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


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