No TPTP formula. May not be expressible in strict first order. | Merge.kif 14168-14168 | 子類 岸區 and LandArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5756-5756 | 子類 河岸 and 岸區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6119-6119 | 子類 海岸 and 岸區 |