| RollingStock
|
| appearance as argument number 1 |
|
| (documentation RollingStock EnglishLanguage "A single rail car. Any RailVehicle that is not composed of other RailVehicles.") | Transportation.kif 2097-2098 | |
| (externalImage RollingStock "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6b/ CP_autorail-X301.jpg") | pictureList.kif 4940-4940 | |
| (externalImage RollingStock "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Nagaragawa-Railway-Nagara1-5.JPG") | pictureList.kif 5076-5076 | |
| (partition RollingStock PassengerRailcar FreightCar) | Transportation.kif 2140-2140 | RollingStock は PassengerRailcar + FreightCar に exhaustively partitioned %n |
| (subclass RollingStock RailVehicle) | Transportation.kif 2095-2095 | RollingStock は RailVehicle の subclass では %n |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TRAIN RollingStock) (not (exists (?X) (and (part ?X ?TRAIN) (instance ?X RollingStock) (not (equal ?X ?TRAIN)))))) |
Transportation.kif 2100-2108 |
| consequent |
|
|
| (=> (instance ?SHIP RailcarCarrierShip) (cargoType ?SHIP RollingStock)) |
Transportation.kif 2355-2357 |
|
| (=> (instance ?TRAIN RollingStock) (not (exists (?X) (and (part ?X ?TRAIN) (instance ?X RollingStock) (not (equal ?X ?TRAIN)))))) |
Transportation.kif 2100-2108 | |
| (=> (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 2054-2063 |
|
|
|