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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PassengerVehicle
PassengerVehicle
more pictures...

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

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


(subclass AAV PassengerVehicle) MilitaryDevices.kif 1648-1648
(subclass APC PassengerVehicle) MilitaryDevices.kif 1572-1572
(subclass Automobile PassengerVehicle) Transportation.kif 1938-1938
(subclass Bus PassengerVehicle) Transportation.kif 1957-1957
(subclass CH46D PassengerVehicle) MilitaryDevices.kif 1829-1829
(subclass CH53E PassengerVehicle) MilitaryDevices.kif 1768-1768
(subclass LCAC PassengerVehicle) MilitaryDevices.kif 1946-1946
(subclass PassengerRailcar PassengerVehicle) Transportation.kif 2113-2113
(termFormat ChineseLanguage PassengerVehicle "乘用车") domainEnglishFormat.kif 44629-44629
(termFormat ChineseTraditionalLanguage PassengerVehicle "乘用車") domainEnglishFormat.kif 44628-44628
(termFormat EnglishLanguage PassengerVehicle "passenger vehicle") domainEnglishFormat.kif 44627-44627

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


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