No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1501-1502 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1499-1500 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1503-1503 |
The number 1 argument of standard deviation is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1504-1504 |
Standard deviation is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1506-1506 |
The range of standard deviation is an instance of number |