|
|
   RailVehicle
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RailVehicle EnglishLanguage "A Vehicle designed to move on Railways.") | Transportation.kif 2042-2042 | |
| (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 1451-1451 | |
| (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 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 |
| antecedent |
|
|
| (=> (instance ?X RailVehicle) (hasPurpose ?X (exists (?EV ?RAIL) (and (instance ?RAIL Railway) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?RAIL)))))) |
Transportation.kif 2044-2053 |
| 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 8034-8059 |
|
|
|
