| 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 5181-5181 | 子類 河口 and 進口 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5253-5253 | 子類 入口通道 and 進口 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5259-5259 | 子類 灣 and 進口 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5265-5265 | 子類 拱 and 進口 |
|
|