No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3025-3026 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3022-3024 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3030-3030 |
域 snowfallIntensity, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3031-3031 |
域 snowfallIntensity, 2 and TimeInterval |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3032-3032 |
域 snowfallIntensity, 3 and FunctionQuantity |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 3033-3033 |
例 snowfallIntensity and TernaryPredicate |