more pictures...
| PassengerVehicle
more pictures... | |
| 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 |
| appearance as argument number 2 |
|
|
| (subclass AAV PassengerVehicle) | MilitaryDevices.kif 1648-1648 | |
| (subclass APC PassengerVehicle) | MilitaryDevices.kif 1572-1572 | |
| (subclass Automobile PassengerVehicle) | Transportation.kif 2088-2088 | |
| (subclass Bus PassengerVehicle) | Transportation.kif 2107-2107 | |
| (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 2292-2292 | |
| (termFormat ChineseLanguage PassengerVehicle "乘用车") | domainEnglishFormat.kif 44739-44739 | |
| (termFormat ChineseTraditionalLanguage PassengerVehicle "乘用車") | domainEnglishFormat.kif 44738-44738 | |
| (termFormat EnglishLanguage PassengerVehicle "passenger vehicle") | domainEnglishFormat.kif 44737-44737 |
| 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 1888-1898 |
|
|
|