No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1676-1677 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1674-1675 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1681-1681 |
The number 1 argument of maximum value is an instance of list |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1682-1682 |
Maximum value is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1683-1683 |
The range of maximum value is an instance of number |