TreeView Knowledge Base Browser - TropicalCyclone

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

TropicalCyclone

Sigma KEE - TropicalCyclone

TropicalCyclone(tropical cyclone)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 676-677
No TPTP formula. May not be expressible in strict first order.	Weather.kif 673-675
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3020-3020
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3252-3252
No TPTP formula. May not be expressible in strict first order.	Weather.kif 672-672	Tropical cyclone is a subclass of tropical cyclonic system

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59246-59246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59245-59245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 59244-59244

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 681-691	If a process is an instance of tropical cyclone, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 44.0

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 740-751	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 the real number miles per hour(s) is equal to 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 774-785	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 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