Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PassengerVehicle
PassengerVehicle(passenger vehicle)
more pictures...
autobus, bus, charabanc, coach, double-decker, jitney, minibus, motorbus, motorcoach, omnibus, passenger_vehicle, troop_carrier, troop_transport

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

appearance as argument number 2
-------------------------


(subclass AAV PassengerVehicle) MilitaryDevices.kif 1647-1647 AA v is a subclass of passenger vehicle
(subclass APC PassengerVehicle) MilitaryDevices.kif 1571-1571 AP c is a subclass of passenger vehicle
(subclass Automobile PassengerVehicle) Transportation.kif 1912-1912 Automobile is a subclass of passenger vehicle
(subclass Bus PassengerVehicle) Transportation.kif 1931-1931 Bus is a subclass of passenger vehicle
(subclass CH46D PassengerVehicle) MilitaryDevices.kif 1828-1828 C h46 d is a subclass of passenger vehicle
(subclass CH53E PassengerVehicle) MilitaryDevices.kif 1767-1767 C h53 e is a subclass of passenger vehicle
(subclass LCAC PassengerVehicle) MilitaryDevices.kif 1945-1945 LCA c is a subclass of passenger vehicle
(subclass PassengerRailcar PassengerVehicle) Transportation.kif 2085-2085 Passenger railcar is a subclass of passenger vehicle
(termFormat EnglishLanguage PassengerVehicle "passenger vehicle") domainEnglishFormat.kif 7871-7871 "passenger vehicle" is the printable form of passenger vehicle in english language

appearance as argument number 3
-------------------------


(domain personTransportCapability 1 PassengerVehicle) MilitaryDevices.kif 70-70 The number 1 argument of person transport capability is an instance of passenger vehicle

antecedent
-------------------------


(=>
    (and
        (instance ?VEHICLE PassengerVehicle)
        (instance ?HUMAN Human))
    (capability Transportation patient ?HUMAN))
Transportation.kif 1721-1725


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners