| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2287-2292 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14120-14120 | 水域 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1378-1378 | 碎波带 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 917-917 | 港口 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 921-921 | 锚地 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2937-2937 | 船泊位 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9032-9032 | 溪水区 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9039-9039 | 静水区 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14133-14133 | 盐水区 是 水域 的 subclass |
| 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 2028-2028 | 水电水域 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4491-4491 | 水体 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4932-4932 | 水流 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5341-5341 | 内陆水系统 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5484-5484 | 流水汇流 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5509-5509 | 河流系统 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5577-5577 | 水路 是 水域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5655-5655 | 河口 是 水域 的 subclass |
|
|