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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - RailVehicle
more pictures...

appearance as argument number 1

(documentation RailVehicle EnglishLanguage "A Vehicle designed to move on Railways.") Transportation.kif 2042-2042
(externalImage RailVehicle " 0/ 0d/ Cypress_railroad_car.JPG") pictureList-ImageNet.kif 405-405
(externalImage RailVehicle " 3/ 37/ CityRail-Hunter-Railcar-2754.jpg") pictureList-ImageNet.kif 407-407
(externalImage RailVehicle " 3/ 39/ LRCwithNightstarTest-Ottawa.jpg") pictureList.kif 1451-1451
(externalImage RailVehicle " 5/ 5e/ VagonKaliningradMuseum4.jpg") pictureList-ImageNet.kif 411-411
(externalImage RailVehicle " 6/ 6d/ UK_Railcar1.jpg") pictureList-ImageNet.kif 399-399
(externalImage RailVehicle " c/ c2/ Claisebrook_Railcar_Depot.jpg") pictureList-ImageNet.kif 409-409
(externalImage RailVehicle " c/ c9/ 1934_GWR_diesel_railcar.jpg") pictureList-ImageNet.kif 410-410
(externalImage RailVehicle " d/ d9/ Pennsylvania_Railroad_Passenger_Car.JPG") pictureList-ImageNet.kif 401-401
(externalImage RailVehicle " thumb/ 1/ 1e/ PrivateRailroadCarCaritas.agr.JPG/ 180px-PrivateRailroadCarCaritas.agr.JPG") pictureList-ImageNet.kif 403-403
(externalImage RailVehicle " 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 " 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 " 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 " thumb/ a/ a1/ Duepiani_railcar.jpg/ 800px-Duepiani_railcar.jpg") pictureList-ImageNet.kif 406-406
(externalImage RailVehicle " thumb/ c/ ce/ Railcar_W55001_Undergoing_Restoration.jpg/ 450px-Railcar_W55001_Undergoing_Restoration.jpg") pictureList-ImageNet.kif 400-400
(externalImage RailVehicle " thumb/ d/ d4/ HCl_railway_wagon_Chabówka.jpg/ 800px-HCl_railway_wagon_Chabówka.jpg") pictureList-ImageNet.kif 412-412
(externalImage RailVehicle " thumb/ e/ e6/ 22_AEC_GWR_railcar.jpg/ 300px-22_AEC_GWR_railcar.jpg") pictureList-ImageNet.kif 408-408
(externalImage RailVehicle " 6/ 6a/ E.624.009_LFI.jpg/ 250px-E.624.009_LFI.jpg") pictureList-ImageNet.kif 413-413
(subclass RailVehicle LandVehicle) Transportation.kif 2041-2041

appearance as argument number 2

(subclass RollingStock RailVehicle) Transportation.kif 2103-2103
(subclass Train RailVehicle) Transportation.kif 2055-2055
(termFormat ChineseLanguage RailVehicle "铁路车辆") domainEnglishFormat.kif 48651-48651
(termFormat ChineseTraditionalLanguage RailVehicle "鐵路車輛") domainEnglishFormat.kif 48650-48650
(termFormat EnglishLanguage RailVehicle "rail vehicle") domainEnglishFormat.kif 48649-48649


    (instance ?X RailVehicle)
    (hasPurpose ?X
        (exists (?EV ?RAIL)
                (instance ?RAIL Railway)
                (instance ?EV Transportation)
                    (WhenFn ?EV)
                    (meetsSpatially ?X ?RAIL))))))
Transportation.kif 2044-2053


        (instance ?ORG Organization)
        (attribute ?ORG RailTransportation))
    (exists (?EV ?MEM)
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P)
                    (instance ?EV Selling)
                    (instance ?P Human)
                    (patient ?EV ?P)
                        (exists (?MOVE ?RR)
                                (instance ?MOVE Transportation)
                                    (patient ?MOVE ?P)
                                        (possesses ?P ?OBJ)
                                        (patient ?MOVE ?OBJ)
                                        (instance ?OBJ Object)))
                                (possesses ?ORG ?RR)
                                (instance ?RR RailVehicle))) ?MEM ?P))))))
naics.kif 8034-8059

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