RailVehicle - Sigma Knowledge base Browser

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

If a physical is an instance of rail vehicle,
then the physical purpose there exist an entity and another entity such that the other entity is an instance of railway and the entity is an instance of transportation and the physical meets the other entity holds during the time of existence of the entity

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

If a collection is an instance of organization and rail transportation is an attribute of the collection,
then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists a cognitive agent such that the agent is an instance of selling and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the object allows the cognitive agent to perform task of the type there exist an entity and another entity such that the entity is an instance of transportation and the cognitive agent is a patient of the entity or the cognitive agent possesses a third entity and the third entity is a patient of the entity and the third entity is an instance of object and the collection possesses the other entity and the other entity is an instance of rail vehicle

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

KB Term:			Term intersection

English Word: