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 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 Passenger vehicle is a subclass of vehicle

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


(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 PassengerRailcar PassengerVehicle) Transportation.kif 2298-2298 Passenger railcar is a subclass of passenger vehicle
(termFormat ChineseLanguage PassengerVehicle "乘用车") domainEnglishFormat.kif 44708-44708 Passenger railcar is a subclass of passenger vehicle
(termFormat ChineseTraditionalLanguage PassengerVehicle "乘用車") domainEnglishFormat.kif 44707-44707 Passenger railcar is a subclass of passenger vehicle
(termFormat EnglishLanguage PassengerVehicle "passenger vehicle") domainEnglishFormat.kif 44706-44706 Passenger railcar is a subclass of passenger vehicle

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


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

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


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 3.0 is open source software produced by Articulate Software and its partners