| RollingStock(rolling stock)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2097-2098 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4940-4940 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5076-5076 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2140-2140 | Rolling stock is exhaustively partitioned into passenger railcar and freight car |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2095-2095 | Rolling stock is a subclass of rail vehicle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2096-2096 | Road vehicle is disjoint from 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 2165-2165 | Electrified railway car 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 2185-2185 | Head end 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 2194-2194 | Locomotive coal car 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 2156-2156 | Outfit car 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 2215-2215 | Private railcar is a subclass of rolling stock |
| 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 2223-2223 | Scale test 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. | domainEnglishFormat.kif 50300-50300 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50299-50299 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50298-50298 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2100-2108 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2355-2357 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2100-2108 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2054-2063 |
|
|
|
|