| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 837-837 | 子類 港口城市 and City |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 852-852 | 子類 河港 and 港口城市 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 868-868 | 子類 海港 and 港口城市 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 884-884 | 子類 集裝箱港口 and 港口城市 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 887-887 | 子類 深水港 and 港口城市 |
|
|