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 | |
(subclass RollingStock RailVehicle) | Transportation.kif 2095-2095 |
appearance as argument number 2 |
(disjoint RoadVehicle RollingStock) | Transportation.kif 2096-2096 | |
(subclass CabCar RollingStock) | Transportation.kif 2150-2150 | |
(subclass ElectrifiedRailwayCar RollingStock) | Transportation.kif 2165-2165 | |
(subclass FreightCar RollingStock) | Transportation.kif 2139-2139 | |
(subclass HeadEndCar RollingStock) | Transportation.kif 2185-2185 | |
(subclass Locomotive RollingStock) | Transportation.kif 2115-2115 | |
(subclass LocomotiveCoalCar RollingStock) | Transportation.kif 2194-2194 | |
(subclass MotorizedRailwayCar RollingStock) | Transportation.kif 2110-2110 | |
(subclass OutfitCar RollingStock) | Transportation.kif 2156-2156 | |
(subclass PassengerRailcar RollingStock) | Transportation.kif 2122-2122 | |
(subclass PrivateRailcar RollingStock) | Transportation.kif 2215-2215 | |
(subclass Railcar RollingStock) | Transportation.kif 2074-2074 | |
(subclass ScaleTestCar RollingStock) | Transportation.kif 2223-2223 | |
(subclass Streetcar RollingStock) | Transportation.kif 2208-2208 | |
(termFormat ChineseLanguage RollingStock "波荡股") | domainEnglishFormat.kif 50300-50300 | |
(termFormat ChineseTraditionalLanguage RollingStock "波蕩股") | domainEnglishFormat.kif 50299-50299 | |
(termFormat EnglishLanguage RollingStock "rolling stock") | domainEnglishFormat.kif 50298-50298 |
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 |