TreeView Knowledge Base Browser - Hurricane

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Hurricane

Hurricane(hurricane)

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Hurricane "颶風")	Weather.kif 1179-1179
(termFormat ChineseLanguage Hurricane "飓风")	domainEnglishFormat.kif 28981-28981
(termFormat ChineseTraditionalLanguage Hurricane "颶風")	domainEnglishFormat.kif 28980-28980
(termFormat EnglishLanguage Hurricane "hurricane")	domainEnglishFormat.kif 28979-28979

antecedent

(=> (and (instance ?H Hurricane) (eventLocated ?H ?P) (instance ?P GeographicArea) (or (located ?P ?SEA) (meetsSpatially ?P ?SEA))) (or (equal ?SEA NorthwesternPacificOcean) (equal ?SEA NorthAtlanticOcean)))	Weather.kif 1194-1204	If a process is an instance of hurricane and the process is located at an object and the object is an instance of geographic area and the object is located at another object or the object meets the other object, then equal the other object and Northwestern Pacific Ocean or equal the other object and north atlantic ocean
(=> (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 3767-3781	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 equal the real number miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
(=> (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 3689-3708	If a process is an instance of hurricane and a speed scale attribute is an instance of Saffir Simpson Hurrican wind scale and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes equal the third real number the unit of measure(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
(=> (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 1181-1192	If an entity is an instance of hurricane, then there exist a process, a geographic area and a real number such that the process is an instance of tropical cyclone and the geographic area is an instance of geographic area and the process is located at the geographic area and equal the real number miles per hour(s) and Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 74.0

consequent

(=>
    (and
        (instance ?SS SSHWSAttribute)
        (property ?H ?SS))
    (instance ?H Hurricane))

Weather.kif 3683-3687

If an attribute is an instance of Saffir Simpson Hurrican wind scale and an entity the attribute the attribute,
then the entity is an instance of hurricane

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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