| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2145-2145 | 子類 貨車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2150-2150 | 子類 棚車 and 貨車 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2178-2178 | 子類 五井堆棧車 and 貨車 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2182-2182 | 子類 敞車 and 貨車 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2196-2196 | 子類 九頭墊貨車 and 貨車 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2205-2205 | 子類 敞篷車 and 貨車 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2238-2238 | 子類 坦克車 and 貨車 |
|
|