Mean3MinutesWindSpeedFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Mean3MinutesWindSpeedFn

Mean3MinutesWindSpeedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2248-2251
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2242-2246
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2253-2253	The number 1 argument of three minute mean surface wind speed is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2254-2254	The number 2 argument of three minute mean surface wind speed is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2256-2256	Three minute mean surface wind speed is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2255-2255	The range of three 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 2252-2252
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2247-2247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10376-10376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10375-10375

antecedent

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

Weather.kif 2258-2275

If a function quantity is equal to Mean3MinutesWindSpeedFn 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 2 minute duration(s). and 36 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

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