No TPTP formula. May not be expressible in strict first order. | Transportation.kif 917-917 | 港口 是 水域 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1693-1693 | 港口 是 水路 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 895-895 | 深海港口 是 港口 的 subclass |