surfaceWindSpeed - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - surfaceWindSpeed

surfaceWindSpeed

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11401-11407
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11398-11398	The number 1 argument of surface wind speed is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11399-11399	The number 2 argument of surface wind speed is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11397-11397	surface wind speed is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2427-2427
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2426-2426
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2425-2425
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56327-56327
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56326-56326
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56325-56325

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11414-11422	If windy is an attribute of an object and the object is located at another object and equal a time interval and the time of existence of the object and a real number miles per hour(s) is a surface wind speed of the other object holds during the time interval, then the real number is greater than 20.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1930-1946	If a process is an instance of strong gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than 17 and the third real number is less than or equal to 29
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1953-1967	If a process is an instance of violent gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than 29
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1907-1923	If a process is an instance of weak gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than or equal to 12 and the third real number is less than or equal to 17
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1886-1900	If a process is an instance of wind gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and the time of existence of the process happens earlier than a time interval and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than or equal to 10
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1868-1884	If a process is an instance of wind gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the real number is greater than or equal to 18 and the third real number is greater than or equal to 10
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1820-1837	If a process is an instance of squall and the process is located at an object and the object is an instance of geographic area and a real number miles per hour(s) is a surface wind speed of the object holds during the time of existence of the process and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the object holds during the time interval and equal a third real number and (the real number and the other real number), then the real number is greater than or equal to 25 and the third real number is greater than or equal to 18
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1482-1489	If a process is an instance of strong wind and the process is located at an object and the object is an instance of geographic area and a real number miles per hour(s) is a surface wind speed of the object, then the real number is greater than 58

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1991-2012	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Weather.kif 472-484	If a process is an instance of wind and an entity is an instance of Beaufort number 12 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 73.0 and the cognitive agent believes the real number miles per hour(s) is a surface wind speed of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 337-354	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute 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 a surface wind speed of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 136-145	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 147-153	If a physical is an instance of wind flow and an object is an instance of object and the physical is partly located in the object and the measure of the physical is a real number knot unit of speed(s), then the real number knot unit of speed(s) is a surface wind speed of the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3351-3364	If a physical is an instance of blizzard, then there exist an entity, another entity and a third entity such that the entity is an instance of geographic area and the physical is located at the entity and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 35.0 and duration of the time of existence of the physical is the third entity hour duration(s) and the third entity is greater than 3 holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3630-3639	If a physical is an instance of storm, then there exist an entity and another entity such that the entity is an instance of geographic area and the other entity knot unit of speed(s) is a surface wind speed of the entity and the other entity is greater than 30.0 holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 132-134	If an object is surface wind velocity a physical quantity for a directional attribute, then the physical quantity is a surface wind speed of the object

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