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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RailVehicle

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, 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
-------------------------


(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RailVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RoadVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 Aircraft)))
Transportation.kif 3030-3044
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RailVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 RailVehicle))
Transportation.kif 2970-2981
(=>
    (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
-------------------------


(=>
    (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 ?OBJ)
                            (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 8034-8059
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 Aircraft)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 RoadVehicle)))
Transportation.kif 3062-3076
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RoadVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 WaterVehicle)
        (instance ?V2 Aircraft)))
Transportation.kif 3014-3028
(=>
    (and
        (instance ?S MultiModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 WaterVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (or
        (instance ?V2 RailVehicle)
        (instance ?V2 RoadVehicle)
        (instance ?V2 Aircraft)))
Transportation.kif 3046-3060
(=>
    (and
        (instance ?S UniModalTransitSystem)
        (routeInSystem ?P ?S)
        (instance ?T1 Transportation)
        (path ?T1 ?P)
        (instance ?V1 RailVehicle)
        (instrument ?T1 ?V1)
        (instance ?T2 Transportation)
        (path ?T2 ?P)
        (instrument ?T2 ?V2))
    (instance ?V2 RailVehicle))
Transportation.kif 2970-2981


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners