No TPTP formula. May not be expressible in strict first order. | Geography.kif 5218-5218 | 进口 是 水体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5181-5181 | 河口 是 进口 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5253-5253 | 入口通道 是 进口 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5259-5259 | 湾 是 进口 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5265-5265 | 拱 是 进口 的 subclass |
![]() |