No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1756-1758 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1752-1755 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1761-1761 |
域 locationMeasuringList, 1 and MeasuringList |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1762-1762 |
域 locationMeasuringList, 2 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1763-1763 |
例 locationMeasuringList and BinaryPredicate |