| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1298-1298 | 子類 跑道 and 陸地過境通道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1312-1312 | 子類 鋪好的跑道 and 跑道 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1493-1493 | 子類 未鋪砌的跑道 and 跑道 |
|
|