| 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. | Geography.kif 1031-1031 | 海上毗连区 是 盐水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1100-1100 | 海上专属经济区 是 盐水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1133-1133 | 专属捕鱼区 是 盐水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1165-1165 | 延伸捕鱼区 是 盐水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1197-1197 | 领海 是 盐水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4512-4512 | 海洋 是 盐水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4757-4757 | 海 是 盐水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4944-4944 | 浪潮 是 盐水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5086-5086 | 盐湖 是 盐水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5123-5123 | 海湾 是 盐水区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5180-5180 | 河口 是 盐水区 的 subclass |
|
|