No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1407-1409 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1403-1406 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1410-1410 |
域 waveHeight, 1 and 水波 |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1411-1411 |
域 waveHeight, 2 and LengthMeasure |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1412-1412 |
例 waveHeight and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1413-1413 |
子類 waveHeight and ConstantQuantity |