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 1511-1514 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1520-1520 |
有效波高 的 1 数量 是 水域 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1521-1521 |
有效波高 的 2 数量 是 时间位置 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1522-1522 |
有效波高 的 3 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1523-1523 |
有效波高 是 三元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1524-1524 |
有效波高 是 计量 的 subrelation |