| RollingStock
|
| appearance as argument number 1 |
|
| (documentation RollingStock EnglishLanguage "A single rail car. Any RailVehicle that is not composed of other RailVehicles.") | Transportation.kif 2266-2267 | |
| (externalImage RollingStock "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ CP_autorail-X301.jpg") | pictureList.kif 4939-4939 | |
| (externalImage RollingStock "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Nagaragawa-Railway-Nagara1-5.JPG") | pictureList.kif 5075-5075 | |
| (partition RollingStock PassengerRailcar FreightCar) | Transportation.kif 2309-2309 | |
| (subclass RollingStock RailVehicle) | Transportation.kif 2264-2264 |
| appearance as argument number 2 |
|
|
| (disjoint RoadVehicle RollingStock) | Transportation.kif 2265-2265 | |
| (subclass CabCar RollingStock) | Transportation.kif 2319-2319 | |
| (subclass ElectrifiedRailwayCar RollingStock) | Transportation.kif 2334-2334 | |
| (subclass FreightCar RollingStock) | Transportation.kif 2308-2308 | |
| (subclass HeadEndCar RollingStock) | Transportation.kif 2354-2354 | |
| (subclass Locomotive RollingStock) | Transportation.kif 2284-2284 | |
| (subclass LocomotiveCoalCar RollingStock) | Transportation.kif 2363-2363 | |
| (subclass MotorizedRailwayCar RollingStock) | Transportation.kif 2279-2279 | |
| (subclass OutfitCar RollingStock) | Transportation.kif 2325-2325 | |
| (subclass PassengerRailcar RollingStock) | Transportation.kif 2291-2291 | |
| (subclass PrivateRailcar RollingStock) | Transportation.kif 2384-2384 | |
| (subclass Railcar RollingStock) | Transportation.kif 2220-2220 | |
| (subclass ScaleTestCar RollingStock) | Transportation.kif 2392-2392 | |
| (subclass Streetcar RollingStock) | Transportation.kif 2377-2377 | |
| (termFormat ChineseLanguage RollingStock "波荡股") | domainEnglishFormat.kif 50335-50335 | |
| (termFormat ChineseTraditionalLanguage RollingStock "波蕩股") | domainEnglishFormat.kif 50334-50334 | |
| (termFormat EnglishLanguage RollingStock "rolling stock") | domainEnglishFormat.kif 50333-50333 |
| antecedent |
|
|
| (=> (instance ?TRAIN RollingStock) (not (exists (?X) (and (part ?X ?TRAIN) (instance ?X RollingStock) (not (equal ?X ?TRAIN)))))) |
Transportation.kif 2269-2277 |
| consequent |
|
|
| (=> (instance ?SHIP RailcarCarrierShip) (cargoType ?SHIP RollingStock)) |
Transportation.kif 2524-2526 | |
| (=> (instance ?TRAIN RollingStock) (not (exists (?X) (and (part ?X ?TRAIN) (instance ?X RollingStock) (not (equal ?X ?TRAIN)))))) |
Transportation.kif 2269-2277 | |
| (=> (instance ?TRAIN Train) (exists (?X ?Y) (and (part ?X ?TRAIN) (part ?Y ?TRAIN) (instance ?X RollingStock) (instance ?Y RollingStock) (not (equal ?X ?Y))))) |
Transportation.kif 2194-2203 |
|
|
|