No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1519-1522 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1515-1518 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1524-1524 |
有效波高 的 1 数量 是 水域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1525-1525 |
有效波高 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1526-1526 |
有效波高 的 3 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1527-1527 |
有效波高 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1528-1528 |
有效波高 是 计量 的 subrelation |