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 1998-1998
(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 1997-1997 Rail vehicle is a subclass of land vehicle

appearance as argument number 2
-------------------------


(subclass RollingStock RailVehicle) Transportation.kif 2057-2057 Rolling stock is a subclass of rail vehicle
(subclass Train RailVehicle) Transportation.kif 2011-2011 Train is a subclass of rail vehicle
(termFormat EnglishLanguage RailVehicle "rail vehicle") domainEnglishFormat.kif 8535-8535 "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 2000-2009

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 8043-8068


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