more pictures...
| PassengerVehicle(passenger vehicle)
more pictures... | | autobus, bus, charabanc, coach, double-decker, jitney, minibus, motorbus, motorcoach, omnibus, passenger_vehicle, troop_carrier, troop_transport |
| appearance as argument number 1 |
|
|
| (documentation PassengerVehicle EnglishLanguage "A Vehicle that is designed to carry Humans. Note that Vehicles that are not designed to carry people may still do so. For example, a boxcar might still transport homeless people, but was not built to do so.") | Transportation.kif 1883-1886 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ CTA_articulated_bus.jpg") | pictureList.kif 6753-6753 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Zzz-1stBus.jpg") | pictureList.kif 7499-7499 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Expresso_Biarticulado_Curitiba.jpg") | pictureList.kif 7501-7501 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Several_buses_parked_at_Chichen_Itza%2C_Mexico.JPG") | pictureList.kif 7502-7502 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 7/ 74/ Acton_Depot_March_2002_2.JPG") | pictureList.kif 7503-7503 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Bristol_tram_model_arp.jpg") | pictureList.kif 7505-7505 | |
| (subclass PassengerVehicle Vehicle) | Transportation.kif 1882-1882 | Passenger vehicle is a subclass of vehicle |
| appearance as argument number 2 |
|
|
| (subclass Automobile PassengerVehicle) | Transportation.kif 2088-2088 | Automobile is a subclass of passenger vehicle |
| (subclass Bus PassengerVehicle) | Transportation.kif 2107-2107 | Bus is a subclass of passenger vehicle |
| (subclass PassengerRailcar PassengerVehicle) | Transportation.kif 2298-2298 | Passenger railcar is a subclass of passenger vehicle |
| (termFormat ChineseLanguage PassengerVehicle "乘用车") | domainEnglishFormat.kif 44708-44708 | Passenger railcar is a subclass of passenger vehicle |
| (termFormat ChineseTraditionalLanguage PassengerVehicle "乘用車") | domainEnglishFormat.kif 44707-44707 | Passenger railcar is a subclass of passenger vehicle |
| (termFormat EnglishLanguage PassengerVehicle "passenger vehicle") | domainEnglishFormat.kif 44706-44706 | Passenger railcar is a subclass of passenger vehicle |
| appearance as argument number 3 |
|
|
| (domain personTransportCapability 1 PassengerVehicle) | MilitaryDevices.kif 71-71 | The number 1 argument of person transport capability is an instance of passenger vehicle |
| antecedent |
|
|
| (=> (and (instance ?VEHICLE PassengerVehicle) (instance ?HUMAN Human)) (modalAttribute (exists (?T) (and (instance ?T Transportation) (patient ?T ?HUMAN) (instrument ?T ?VEHICLE))) Possibility)) |
Transportation.kif 1888-1898 |
|
|
|
|