PassengerVehicle - Sigma Knowledge base Browser

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	子類乘用車 and 車輛

appearance as argument number 2

(subclass AAV PassengerVehicle)	MilitaryDevices.kif 1648-1648	子類 AAV and 乘用車
(subclass APC PassengerVehicle)	MilitaryDevices.kif 1572-1572	子類 APC and 乘用車
(subclass Automobile PassengerVehicle)	Transportation.kif 1948-1948	子類汽車 and 乘用車
(subclass Bus PassengerVehicle)	Transportation.kif 1967-1967	子類總線 and 乘用車
(subclass CH46D PassengerVehicle)	MilitaryDevices.kif 1829-1829	子類 C h46 d and 乘用車
(subclass CH53E PassengerVehicle)	MilitaryDevices.kif 1768-1768	子類 C h53 e and 乘用車
(subclass LCAC PassengerVehicle)	MilitaryDevices.kif 1946-1946	子類 LCAC and 乘用車
(subclass PassengerRailcar PassengerVehicle)	Transportation.kif 2123-2123	子類客運鐵路車 and 乘用車
(termFormat ChineseLanguage PassengerVehicle "乘用车")	domainEnglishFormat.kif 44706-44706
(termFormat ChineseTraditionalLanguage PassengerVehicle "乘用車")	domainEnglishFormat.kif 44705-44705
(termFormat EnglishLanguage PassengerVehicle "passenger vehicle")	domainEnglishFormat.kif 44704-44704

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