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 |
|
|
| (subclass PassengerVehicle Vehicle) | Transportation.kif 1897-1897 | Passenger vehicle is a subclass of vehicle |
| (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 1898-1901 | Passenger vehicle is a subclass of vehicle |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ CTA_articulated_bus.jpg") | pictureList.kif 6753-6753 | Passenger vehicle is a subclass of vehicle |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Zzz-1stBus.jpg") | pictureList.kif 7499-7499 | Passenger vehicle is a subclass of vehicle |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Expresso_Biarticulado_Curitiba.jpg") | pictureList.kif 7501-7501 | Passenger vehicle is a subclass of vehicle |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Several_buses_parked_at_Chichen_Itza%2C_Mexico.JPG") | pictureList.kif 7502-7502 | Passenger vehicle is a subclass of vehicle |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 7/ 74/ Acton_Depot_March_2002_2.JPG") | pictureList.kif 7503-7503 | Passenger vehicle is a subclass of vehicle |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Bristol_tram_model_arp.jpg") | pictureList.kif 7505-7505 | Passenger vehicle is a subclass of vehicle |
| appearance as argument number 2 |
|
|
| 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 1903-1913 | If X is an instance of passenger vehicle and Y is an instance of human, then the statement there exists Z such that Z is an instance of transportation, Y is a patient of Z, and X is an instrument for Z has the modal force of possibility |
|
|
|