| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2910-2910 | 子類 中轉站 and StationaryArtifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1265-1265 | 子類 飛機場 and 中轉站 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1508-1508 | 子類 直升機場 and 中轉站 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2079-2079 | 子類 鐵路樞紐 and 中轉站 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2917-2917 | 子類 火車站 and 中轉站 |
|
|