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 1883-1886
(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 1882-1882	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	APC is a subclass of passenger vehicle
(subclass Automobile PassengerVehicle)	Transportation.kif 2088-2088	Automobile is a subclass of passenger vehicle
(subclass Bus PassengerVehicle)	Transportation.kif 2107-2107	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 2292-2292	Passenger railcar is a subclass of passenger vehicle
(termFormat ChineseLanguage PassengerVehicle "乘用车")	domainEnglishFormat.kif 44744-44744	Passenger railcar is a subclass of passenger vehicle
(termFormat ChineseTraditionalLanguage PassengerVehicle "乘用車")	domainEnglishFormat.kif 44743-44743	Passenger railcar is a subclass of passenger vehicle
(termFormat EnglishLanguage PassengerVehicle "passenger vehicle")	domainEnglishFormat.kif 44742-44742	Passenger railcar is a subclass of passenger vehicle

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