No TPTP formula. May not be expressible in strict first order. | Merge.kif 14138-14138 | 淡水区 是 水域 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5473-5473 | 河 是 淡水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5624-5624 | 贮水池 是 淡水区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5674-5674 | 溪 是 淡水区 的 subclass |