| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2095-2095 | Rolling stock is a subclass of rail vehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2074-2074 | Railcar is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2110-2110 | Motorized railway car is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2115-2115 | Locomotive is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2122-2122 | Passenger railcar is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2139-2139 | Freight car is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2150-2150 | Cab car is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2156-2156 | Outfit car is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2165-2165 | Electrified railway car is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2185-2185 | Head end car is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2194-2194 | Locomotive coal car is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2208-2208 | Streetcar is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2215-2215 | Private railcar is a subclass of rolling stock |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2223-2223 | Scale test car is a subclass of rolling stock |
|
|