RailVehicle - Sigma Knowledge base Browser

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

If a physical is an instance of rail vehicle,
then the physical has 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 8043-8068

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: