RailVehicle(rail vehicle)![]() ![]() ![]() | ![]() | 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, rail_vehicle, 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 2024-2024 | |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ Cypress_railroad_car.JPG") | pictureList-ImageNet.kif 406-406 | "http://upload.wikimedia.org/wikipedia/commons/0/0d/ Cypress_railroad_car.JPG" is a URL depicting rail vehicle |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ CityRail-Hunter-Railcar-2754.jpg") | pictureList-ImageNet.kif 408-408 | "http://upload.wikimedia.org/wikipedia/commons/3/37/ CityRail-Hunter-Railcar-2754.jpg" is a URL depicting rail vehicle |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ LRCwithNightstarTest-Ottawa.jpg") | pictureList.kif 1451-1451 | "http://upload.wikimedia.org/wikipedia/commons/3/39/ LRCwithNightstarTest-Ottawa.jpg" is a URL depicting rail vehicle |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ VagonKaliningradMuseum4.jpg") | pictureList-ImageNet.kif 412-412 | "http://upload.wikimedia.org/wikipedia/commons/5/5e/ VagonKaliningradMuseum4.jpg" is a URL depicting rail vehicle |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6d/ UK_Railcar1.jpg") | pictureList-ImageNet.kif 400-400 | "http://upload.wikimedia.org/wikipedia/commons/6/6d/ UK_Railcar1.jpg" is a URL depicting rail vehicle |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Claisebrook_Railcar_Depot.jpg") | pictureList-ImageNet.kif 410-410 | "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Claisebrook_Railcar_Depot.jpg" is a URL depicting rail vehicle |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ 1934_GWR_diesel_railcar.jpg") | pictureList-ImageNet.kif 411-411 | "http://upload.wikimedia.org/wikipedia/commons/c/c9/ 1934_GWR_diesel_railcar.jpg" is a URL depicting rail vehicle |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ d/ d9/ Pennsylvania_Railroad_Passenger_Car.JPG") | pictureList-ImageNet.kif 402-402 | "http://upload.wikimedia.org/wikipedia/commons/d/d9/ Pennsylvania_Railroad_Passenger_Car.JPG" is a URL depicting rail vehicle |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ PrivateRailroadCarCaritas.agr.JPG/ 180px-PrivateRailroadCarCaritas.agr.JPG") | pictureList-ImageNet.kif 404-404 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ 1/ 1e/ PrivateRailroadCarCaritas.agr.JPG/ 180px-PrivateRailroadCarCaritas.agr.JPG" is a URL depicting rail vehicle |
(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 399-399 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 44/ AX_ZIM_Railcar_SBug_Bridge_20061105.jpg/ 800px-AX_ZIM_Railcar_SBug_Bridge_20061105.jpg" is a URL depicting rail vehicle |
(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 405-405 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ 5/ 59/ Acela_Express_and_Metro-North_railcar.jpg/ 800px-Acela_Express_and_Metro-North_railcar.jpg" is a URL depicting rail vehicle |
(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 403-403 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 87/ Buenos_Aires_-_Subte_-_Coche_Le_Brugeoise.jpg/ 180px-Buenos_Aires_-_Subte_-_Coche_Le_Brugeoise.jpg" is a URL depicting rail vehicle |
(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ thumb/ a/ a1/ Duepiani_railcar.jpg/ 800px-Duepiani_railcar.jpg") | pictureList-ImageNet.kif 407-407 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ a1/ Duepiani_railcar.jpg/ 800px-Duepiani_railcar.jpg" is a URL depicting rail vehicle |
(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 401-401 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ ce/ Railcar_W55001_Undergoing_Restoration.jpg/ 450px-Railcar_W55001_Undergoing_Restoration.jpg" is a URL depicting rail vehicle |
(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 413-413 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d4/ HCl_railway_wagon_Chabówka.jpg/ 800px-HCl_railway_wagon_Chabówka.jpg" is a URL depicting rail vehicle |
(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 409-409 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e6/ 22_AEC_GWR_railcar.jpg/ 300px-22_AEC_GWR_railcar.jpg" is a URL depicting rail vehicle |
(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 414-414 | "http://upload.wikimedia.org/wikipedia/it/thumb/6/6a/ E.624.009_LFI.jpg/ 250px-E.624.009_LFI.jpg" is a URL depicting rail vehicle |
(subclass RailVehicle LandVehicle) | Transportation.kif 2023-2023 | Rail vehicle is a subclass of land vehicle |
appearance as argument number 2 |
![]() |
(subclass RollingStock RailVehicle) | Transportation.kif 2085-2085 | Rolling stock is a subclass of rail vehicle |
(subclass Train RailVehicle) | Transportation.kif 2037-2037 | Train is a subclass of rail vehicle |
(termFormat ChineseLanguage RailVehicle "铁路车辆") | domainEnglishFormat.kif 48607-48607 | "铁路车辆" is the printable form of rail vehicle in ChineseLanguage |
(termFormat ChineseTraditionalLanguage RailVehicle "鐵路車輛") | domainEnglishFormat.kif 48606-48606 | "鐵路車輛" is the printable form of rail vehicle in ChineseTraditionalLanguage |
(termFormat EnglishLanguage RailVehicle "rail vehicle") | domainEnglishFormat.kif 48605-48605 | "rail vehicle" is the printable form of rail vehicle in english language |
antecedent |
![]() |
(=> (instance ?X RailVehicle) (hasPurpose ?X (exists (?EV ?RAIL) (and (instance ?RAIL Railway) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?RAIL)))))) |
Transportation.kif 2026-2035 |
|
consequent |
![]() |
![]() |
![]() |