Mean2MinutesWindSpeedFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2283-2286 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2277-2281 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2288-2288 | 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 2289-2289 | 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 2291-2291 | 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 2290-2290 | 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 2287-2287 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2282-2282 | |
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 2293-2310 |
|