| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1572-1580 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2610-2615 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11594-11594 | 子類 Transportation and 易位 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7693-7693 | 子類 運輸 and Transportation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7706-7706 | 子類 走私 and Transportation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17685-17685 | 子類 航空運輸 and Transportation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17698-17698 | 子類 太空運輸 and Transportation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17739-17739 | 子類 水運 and Transportation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17767-17767 | 子類 陸運 and Transportation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17790-17790 | 子類 通過公路車輛運輸 and Transportation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11613-11613 | 子類 Driving and Transportation |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6531-6531 | 子類 MoveToEvac and Transportation |
|
|