|
|
   PassengerVehicle
|
|
|
| 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 1743-1746 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ CTA-articulated-bus.jpg") | pictureList.kif 6754-6754 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Zzz-1stBus.jpg") | pictureList.kif 7500-7500 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Expresso_Biarticulado_Curitiba.jpg") | pictureList.kif 7502-7502 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Several_buses_parked_at_Chichen_Itza%2C_Mexico.JPG") | pictureList.kif 7503-7503 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 7/ 74/ Acton_Depot_March_2002_2.JPG") | pictureList.kif 7504-7504 | |
| (externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Bristol_tram_model_arp.jpg") | pictureList.kif 7506-7506 | |
| (subclass PassengerVehicle Vehicle) | Transportation.kif 1742-1742 | PassengerVehicle ist eine teilkategorie von Vehicle |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain personTransportCapability 1 PassengerVehicle) | MilitaryDevices.kif 71-71 | Die Zahl 1 Argument von personTransportCapability ist ein fall von PassengerVehicle %n{nicht} |
| antecedent |
|
|
| (=> (and (instance ?VEHICLE PassengerVehicle) (instance ?HUMAN Human)) (modalAttribute (exists (?T) (and (instance ?T Transportation) (patient ?T ?HUMAN) (instrument ?T ?VEHICLE))) Possibility)) |
Transportation.kif 1748-1758 |
|
|
|
|
