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 1693-1693 | 子類 港口 and 水路 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 895-895 | 子類 深海港口 and 港口 |