Mean1MinuteWindSpeedFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2314-2317
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2308-2312
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2319-2319	The number 1 argument of one minute mean surface wind speed is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2320-2320	The number 2 argument of one minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2322-2322	One minute mean surface wind speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2321-2321	The range of one minute mean surface wind speed is an instance of function quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2318-2318
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2313-2313
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10382-10382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10381-10381

antecedent

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

Weather.kif 2324-2341

If a function quantity is equal to Mean1MinuteWindSpeedFn for a time interval in region a geographic area,
then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 5 second duration(s) interval. and The Measuring for list the entity takes 1 minute duration(s). and 12 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval

consequent

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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 677-687	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 656-666	If a process is an instance of tropical depression, 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 less than or equal to 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 712-723	If a process is an instance of tropical storm, 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 39.0 and the real number is less than or equal to 74.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

KB Term:			Term intersection

English Word: