| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14133-14133 | 子類 SaltWaterArea and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1031-1031 | 子類 海上毗連區 and SaltWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1100-1100 | 子類 海上專屬經濟區 and SaltWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1133-1133 | 子類 專屬捕魚區 and SaltWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1165-1165 | 子類 延伸捕魚區 and SaltWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1197-1197 | 子類 領海 and SaltWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4512-4512 | 子類 海洋 and SaltWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4757-4757 | 子類 海 and SaltWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4944-4944 | 子類 浪潮 and SaltWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5086-5086 | 子類 鹽湖 and SaltWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5123-5123 | 子類 海灣 and SaltWaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5180-5180 | 子類 河口 and SaltWaterArea |
|
|