No TPTP formula. May not be expressible in strict first order. | Merge.kif 11232-11232 | 子類 水運動 and 液體運動 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1555-1555 | 子類 高激浪 and 水運動 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11206-11206 | 子類 沉澱 and 水運動 |