|
|
   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 |
| appearance as argument number 2 |
|
|
| (subclass AAV PassengerVehicle) | MilitaryDevices.kif 1648-1648 | |
| (subclass APC PassengerVehicle) | MilitaryDevices.kif 1572-1572 | |
| (subclass Automobile PassengerVehicle) | Transportation.kif 1948-1948 | |
| (subclass Bus PassengerVehicle) | Transportation.kif 1967-1967 | |
| (subclass CH46D PassengerVehicle) | MilitaryDevices.kif 1829-1829 | |
| (subclass CH53E PassengerVehicle) | MilitaryDevices.kif 1768-1768 | |
| (subclass LCAC PassengerVehicle) | MilitaryDevices.kif 1946-1946 | |
| (subclass PassengerRailcar PassengerVehicle) | Transportation.kif 2129-2129 | |
| (termFormat ChineseLanguage PassengerVehicle "乘用车") | domainEnglishFormat.kif 44708-44708 | |
| (termFormat ChineseTraditionalLanguage PassengerVehicle "乘用車") | domainEnglishFormat.kif 44707-44707 | |
| (termFormat EnglishLanguage PassengerVehicle "passenger vehicle") | domainEnglishFormat.kif 44706-44706 |
| appearance as argument number 3 |
|
|
| (domain personTransportCapability 1 PassengerVehicle) | MilitaryDevices.kif 71-71 |
| 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 |
|
|
|
