| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2095-2095 | 子類 波蕩股 and 鐵路車輛 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2074-2074 | 子類 軌道車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2110-2110 | 子類 機動鐵路車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2115-2115 | 子類 機車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2122-2122 | 子類 客運鐵路車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2139-2139 | 子類 貨車 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 2156-2156 | 子類 裝備車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2165-2165 | 子類 電氣化鐵路車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2185-2185 | 子類 頭端車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2194-2194 | 子類 機車煤車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2208-2208 | 子類 電車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2215-2215 | 子類 私人鐵路車 and 波蕩股 |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2223-2223 | 子類 規模試驗車 and 波蕩股 |
|
|