Mean2MinutesWindSpeedFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2279-2282 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2273-2277 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2284-2284 | The number 1 argument of two minute mean surface wind speed is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2285-2285 | The number 2 argument of two minute mean surface wind speed is an instance of time interval |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2287-2287 | Two minute mean surface wind speed is an instance of binary function |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2286-2286 | The range of two 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 2283-2283 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2278-2278 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10379-10379 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10378-10378 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2289-2306 |
|
![]() |
![]() |