Typhoon - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Typhoon

Typhoon(typhoon)

appearance as argument number 1

(documentation Typhoon ChineseLanguage "颱風（Typhoon）是10分钟平均地面风速(Mean10MinutesWindSpeedFn) 达到或高于每小时64 英里(MilesPerHour)在西北太平洋(NorthwesternPacificOcean)的热带气旋(TropicalCyclone)。")	Weather.kif 752-753
(documentation Typhoon EnglishLanguage "Typhoons are TropicalCyclones with Mean10MinutesWindSpeedFn (10-minute sustained winds) equal to or over 64 MilesPerHour formed in NorthwesternPacificOcean.")	Weather.kif 749-751
(externalImage Typhoon "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 89/ Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG/ 250px-Cyclone_Catarina_from_the_ISS_on_March_26_2004.JPG")	pictureList.kif 1277-1277
(subclass Typhoon TropicalCyclonicSystem)	Weather.kif 754-754	Typhoon is a subclass of tropical cyclonic system

appearance as argument number 2

(termFormat ChineseLanguage Typhoon "台风")	domainEnglishFormat.kif 59790-59790
(termFormat ChineseLanguage Typhoon "颱風")	Weather.kif 756-756
(termFormat ChineseTraditionalLanguage Typhoon "颱風")	domainEnglishFormat.kif 59789-59789
(termFormat EnglishLanguage Typhoon "typhoon")	domainEnglishFormat.kif 59788-59788

antecedent

(=> (and (instance ?T Typhoon) (eventLocated ?T ?P) (instance ?P GeographicArea)) (or (located ?P NorthwesternPacificOcean) (meetsSpatially ?P NorthwesternPacificOcean)))	Weather.kif 771-778	If a process is an instance of typhoon and the process is located at an object and the object is an instance of geographic area, then the object is located at Northwestern Pacific Ocean or the object meets Northwestern Pacific Ocean
(=> (instance ?T Typhoon) (exists (?TC ?PLACE ?WIND) (and (instance ?TC TropicalCyclone) (instance ?PLACE GeographicArea) (eventLocated ?TC ?PLACE) (equal (MeasureFn ?WIND MilesPerHour) (Mean10MinutesWindSpeedFn ?PLACE (WhenFn ?TC))) (greaterThanOrEqualTo ?WIND 64.0))))	Weather.kif 758-769	If an entity is an instance of typhoon, then there exist the entityC, a geographic area and a real number such that the entityC is an instance of tropical cyclone and the geographic area is an instance of geographic area and the entityC is located at the geographic area and the real number miles per hour(s) is equal to Mean10MinutesWindSpeedFn for the time of existence of the entityC in region the geographic area and the real number is greater than or equal to 64.0

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