Hurricane - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Weather.kif 729-731
No TPTP formula. May not be expressible in strict first order.	Weather.kif 725-728
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 510-510
No TPTP formula. May not be expressible in strict first order.	Weather.kif 732-732	Hurricane is a subclass of tropical cyclonic system

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 734-734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28971-28971
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28970-28970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28969-28969

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 749-759	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 the other object is equal to Northeastern Pacific ocean or the other object is equal to north atlantic ocean
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2439-2453	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2361-2380	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 the third real number the unit of measure(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 736-747	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

consequent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 2355-2359

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