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 |
波高 的 1 数量 是 水波 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1415-1415 |
波高 的 2 数量 是 长度测量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1416-1416 |
波高 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1417-1417 |
波高 是 恒量 的 subclass |