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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PassengerVehicle

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 1751-1754
(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 7501-7501
(externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 37/ Expresso_Biarticulado_Curitiba.jpg") pictureList.kif 7503-7503
(externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4e/ Several_buses_parked_at_Chichen_Itza%2C_Mexico.JPG") pictureList.kif 7504-7504
(externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ 7/ 74/ Acton_Depot_March_2002_2.JPG") pictureList.kif 7505-7505
(externalImage PassengerVehicle "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Bristol_tram_model_arp.jpg") pictureList.kif 7507-7507
(subclass PassengerVehicle Vehicle) Transportation.kif 1750-1750 subclass PassengerVehicle and Vehicle

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


(subclass AAV PassengerVehicle) MilitaryDevices.kif 1648-1648 subclass AAV and PassengerVehicle
(subclass APC PassengerVehicle) MilitaryDevices.kif 1572-1572 subclass APC and PassengerVehicle
(subclass Automobile PassengerVehicle) Transportation.kif 1956-1956 subclass Automobile and PassengerVehicle
(subclass Bus PassengerVehicle) Transportation.kif 1975-1975 subclass Bus and PassengerVehicle
(subclass CH46D PassengerVehicle) MilitaryDevices.kif 1829-1829 subclass CH46D and PassengerVehicle
(subclass CH53E PassengerVehicle) MilitaryDevices.kif 1768-1768 subclass CH53E and PassengerVehicle
(subclass LCAC PassengerVehicle) MilitaryDevices.kif 1946-1946 subclass LCAC and PassengerVehicle
(subclass PassengerRailcar PassengerVehicle) Transportation.kif 2131-2131 subclass PassengerRailcar and PassengerVehicle
(termFormat ChineseLanguage PassengerVehicle "乘用车") domainEnglishFormat.kif 44683-44683
(termFormat ChineseTraditionalLanguage PassengerVehicle "乘用車") domainEnglishFormat.kif 44682-44682
(termFormat EnglishLanguage PassengerVehicle "passenger vehicle") domainEnglishFormat.kif 44681-44681

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


(domain personTransportCapability 1 PassengerVehicle) MilitaryDevices.kif 71-71 domain personTransportCapability, 1 and PassengerVehicle

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


(=>
    (and
        (instance ?VEHICLE PassengerVehicle)
        (instance ?HUMAN Human))
    (modalAttribute
        (exists (?T)
            (and
                (instance ?T Transportation)
                (patient ?T ?HUMAN)
                (instrument ?T ?VEHICLE))) Possibility))
Transportation.kif 1756-1766


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

Show without tree


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