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 1733-1736
(externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ CTA-articulated-bus.jpg")	pictureList.kif 6755-6755
(externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Zzz-1stBus.jpg")	pictureList.kif 7502-7502
(externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Expresso_Biarticulado_Curitiba.jpg")	pictureList.kif 7504-7504
(externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Several_buses_parked_at_Chichen_Itza%2C_Mexico.JPG")	pictureList.kif 7505-7505
(externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 7/ 74/ Acton_Depot_March_2002_2.JPG")	pictureList.kif 7506-7506
(externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Bristol_tram_model_arp.jpg")	pictureList.kif 7508-7508
(subclass PassengerVehicle Vehicle)	Transportation.kif 1732-1732	Passenger vehicle is a subclass of vehicle

appearance as argument number 2

(subclass AAV PassengerVehicle)	MilitaryDevices.kif 1648-1648	Amphibious Assault Vehicle is a subclass of passenger vehicle
(subclass APC PassengerVehicle)	MilitaryDevices.kif 1572-1572	AP c is a subclass of passenger vehicle
(subclass Automobile PassengerVehicle)	Transportation.kif 1938-1938	Automobile is a subclass of passenger vehicle
(subclass Bus PassengerVehicle)	Transportation.kif 1957-1957	Bus is a subclass of passenger vehicle
(subclass CH46D PassengerVehicle)	MilitaryDevices.kif 1829-1829	C h46 d is a subclass of passenger vehicle
(subclass CH53E PassengerVehicle)	MilitaryDevices.kif 1768-1768	C h53 e is a subclass of passenger vehicle
(subclass LCAC PassengerVehicle)	MilitaryDevices.kif 1946-1946	LCAC is a subclass of passenger vehicle
(subclass PassengerRailcar PassengerVehicle)	Transportation.kif 2113-2113	Passenger railcar is a subclass of passenger vehicle
(termFormat ChineseLanguage PassengerVehicle "乘用车")	domainEnglishFormat.kif 44599-44599
(termFormat ChineseTraditionalLanguage PassengerVehicle "乘用車")	domainEnglishFormat.kif 44598-44598
(termFormat EnglishLanguage PassengerVehicle "passenger vehicle")	domainEnglishFormat.kif 44597-44597

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 1738-1748