| No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 | |
| 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 4492-4492 | 子類 水體 and SelfConnectedObject |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4513-4513 | 子類 海洋 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4758-4758 | 子類 海 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5078-5078 | 子類 內陸水域 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5122-5122 | 子類 海灣 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5179-5179 | 子類 河口 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5218-5218 | 子類 進口 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5278-5278 | 子類 聲音 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5292-5292 | 子類 海峽 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5316-5316 | 子類 渠道 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5474-5474 | 子類 河 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5672-5672 | 子類 溪 and 水體 |
|
|