Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RailVehicle
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, 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
-------------------------


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG RailTransportation))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                (and
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?MOVE ?RR)
                            (and
                                (instance ?MOVE Transportation)
                                (or
                                    (patient ?MOVE ?P)
                                    (and
                                        (possesses ?P ?OBJ)
                                        (patient ?MOVE ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?RR)
                                (instance ?RR RailVehicle))) ?MEM ?P))))))
naics.kif 8041-8066


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners