SSHWS5 - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SSHWS5 ChineseLanguage "萨菲尔辛普森飓风5 (SSHWS5)级别的台风(Hurricane) 估计它的一分钟平均风速 (Mean1MinuteWindSpeedFn) 大于 157 mph(252 km/ h）。")	Weather.kif 2420-2421
(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 2417-2419
(instance SSHWS5 SSHWSAttribute)	Weather.kif 2424-2424	SSHWS5 is an instance of Saffir Simpson Hurrican wind scale

appearance as argument number 2

(successorAttribute SSHWS4 SSHWS5)	Weather.kif 2413-2413	SSHWS4 is an immediate successor attribute of SSHWS5
(termFormat ChineseLanguage SSHWS5 "萨菲尔辛普森飓风5")	Weather.kif 2423-2423	SSHWS4 is an immediate successor attribute of SSHWS5
(termFormat EnglishLanguage SSHWS5 "SSHWS5")	Weather.kif 2422-2422	SSHWS4 is an immediate successor attribute of SSHWS5

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 2426-2440

If a process is an instance of hurricane and an entity is an instance of SSHWS5 and the process is located at an object and a cognitive agent believes the process the attribute the entity,
then there exists a real number such that the real number is greater than 157.0 and the cognitive agent believes the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the object

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

KB Term:			Term intersection

English Word: