| 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 | 子類 WaterArea and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 1378-1378 | 子類 SurfZone and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 917-917 | 子類 港口 and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 921-921 | 子類 錨地 and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2937-2937 | 子類 船泊位 and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9032-9032 | 子類 StreamWaterArea and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9039-9039 | 子類 StaticWaterArea and WaterArea |
| 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. | Merge.kif 14138-14138 | 子類 FreshWaterArea and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2028-2028 | 子類 水電水域 and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4491-4491 | 子類 水體 and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4932-4932 | 子類 水流 and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5341-5341 | 子類 內陸水系統 and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5484-5484 | 子類 流水匯流 and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5509-5509 | 子類 河流系統 and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5577-5577 | 子類 水路 and WaterArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5655-5655 | 子類 河口 and WaterArea |
|
|