No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1760-1762 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1756-1759 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1765-1765 |
域 locationMeasuringList, 1 and MeasuringList |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1766-1766 |
域 locationMeasuringList, 2 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1767-1767 |
例 locationMeasuringList and BinaryPredicate |