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