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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SSHWS5
SSHWS5(萨菲尔辛普森飓风5)

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


(documentation SSHWS5 ChineseLanguage "萨菲尔辛普森飓风5 (SSHWS5)级别的台风(Hurricane) 估计它的一分钟平均风速 (Mean1MinuteWindSpeedFn) 大于 157 mph(252 km/ h)。") Weather.kif 2436-2437
(documentation SSHWS5 EnglishLanguage "The estimated highest Mean1MinuteWindSpeedFn (one-minute sustained winds) for a Hurricane of SSHWSAttribute SSHWS5 is greater than 157 mph (252 km/ h).") Weather.kif 2433-2435
(instance SSHWS5 SSHWSAttribute) Weather.kif 2440-2440 萨菲尔辛普森飓风5萨菲尔辛普森飓风风力等级instance

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


(successorAttribute SSHWS4 SSHWS5) Weather.kif 2429-2429 萨菲尔辛普森飓风4萨菲尔辛普森飓风5 的直接后续属性
(termFormat ChineseLanguage SSHWS5 "萨菲尔辛普森飓风5") Weather.kif 2439-2439
(termFormat EnglishLanguage SSHWS5 "SSHWS5") Weather.kif 2438-2438

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


(=>
    (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


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