RailVehicle(rail vehicle) more pictures... | Pullman, Pullman_car, buffet_car, chair_car, diner, dining_car, dining_compartment, drawing-room_car, drawing_room, horsebox, nonsmoker, nonsmoking_car, palace_car, parlor_car, parlour_car, sleeper, sleeping_car, smoker, smoking_car, smoking_carriage, smoking_compartment, stockcar, streetcar, tram, tramcar, trolley, trolley_car, wagon-lit |
appearance as argument number 1 |
(documentation RailVehicle EnglishLanguage "A Vehicle designed to move on Railways.") | Transportation.kif 2034-2034 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ Cypress_railroad_car.JPG") | pictureList-ImageNet.kif 405-405 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ CityRail-Hunter-Railcar-2754.jpg") | pictureList-ImageNet.kif 407-407 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ LRCwithNightstarTest-Ottawa.jpg") | pictureList.kif 1450-1450 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ VagonKaliningradMuseum4.jpg") | pictureList-ImageNet.kif 411-411 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6d/ UK_Railcar1.jpg") | pictureList-ImageNet.kif 399-399 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Claisebrook_Railcar_Depot.jpg") | pictureList-ImageNet.kif 409-409 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ 1934_GWR_diesel_railcar.jpg") | pictureList-ImageNet.kif 410-410 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Pennsylvania_Railroad_Passenger_Car.JPG") | pictureList-ImageNet.kif 401-401 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ PrivateRailroadCarCaritas.agr.JPG/ 180px-PrivateRailroadCarCaritas.agr.JPG") | pictureList-ImageNet.kif 403-403 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 44/ AX_ZIM_Railcar_SBug_Bridge_20061105.jpg/ 800px-AX_ZIM_Railcar_SBug_Bridge_20061105.jpg") | pictureList-ImageNet.kif 398-398 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 59/ Acela_Express_and_Metro-North_railcar.jpg/ 800px-Acela_Express_and_Metro-North_railcar.jpg") | pictureList-ImageNet.kif 404-404 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 87/ Buenos_Aires_-_Subte_-_Coche_Le_Brugeoise.jpg/ 180px-Buenos_Aires_-_Subte_-_Coche_Le_Brugeoise.jpg") | pictureList-ImageNet.kif 402-402 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ a1/ Duepiani_railcar.jpg/ 800px-Duepiani_railcar.jpg") | pictureList-ImageNet.kif 406-406 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ ce/ Railcar_W55001_Undergoing_Restoration.jpg/ 450px-Railcar_W55001_Undergoing_Restoration.jpg") | pictureList-ImageNet.kif 400-400 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ d/ d4/ HCl_railway_wagon_Chabówka.jpg/ 800px-HCl_railway_wagon_Chabówka.jpg") | pictureList-ImageNet.kif 412-412 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ e/ e6/ 22_AEC_GWR_railcar.jpg/ 300px-22_AEC_GWR_railcar.jpg") | pictureList-ImageNet.kif 408-408 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/it/thumb/ 6/ 6a/ E.624.009_LFI.jpg/ 250px-E.624.009_LFI.jpg") | pictureList-ImageNet.kif 413-413 | |
(subclass RailVehicle LandVehicle) | Transportation.kif 2033-2033 | Rail vehicle is a subclass of land vehicle |
appearance as argument number 2 |
(subclass RollingStock RailVehicle) | Transportation.kif 2101-2101 | Rolling stock is a subclass of rail vehicle |
(subclass Train RailVehicle) | Transportation.kif 2047-2047 | Train is a subclass of rail vehicle |
(termFormat ChineseLanguage RailVehicle "铁路车辆") | domainEnglishFormat.kif 48670-48670 | |
(termFormat ChineseTraditionalLanguage RailVehicle "鐵路車輛") | domainEnglishFormat.kif 48669-48669 | |
(termFormat EnglishLanguage RailVehicle "rail vehicle") | domainEnglishFormat.kif 48668-48668 |
antecedent |
(=> (instance ?X RailVehicle) (hasPurpose ?X (exists (?EV ?RAIL) (and (instance ?RAIL Railway) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?RAIL)))))) |
Transportation.kif 2036-2045 |
|
consequent |