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 1743-1746
(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 1742-1742 PassengerVehicleVehiclesubclass では %n

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


(subclass AAV PassengerVehicle) MilitaryDevices.kif 1648-1648 AAVPassengerVehiclesubclass では %n
(subclass APC PassengerVehicle) MilitaryDevices.kif 1572-1572 APCPassengerVehiclesubclass では %n
(subclass Automobile PassengerVehicle) Transportation.kif 1948-1948 AutomobilePassengerVehiclesubclass では %n
(subclass Bus PassengerVehicle) Transportation.kif 1967-1967 BusPassengerVehiclesubclass では %n
(subclass CH46D PassengerVehicle) MilitaryDevices.kif 1829-1829 CH46DPassengerVehiclesubclass では %n
(subclass CH53E PassengerVehicle) MilitaryDevices.kif 1768-1768 CH53EPassengerVehiclesubclass では %n
(subclass LCAC PassengerVehicle) MilitaryDevices.kif 1946-1946 LCACPassengerVehiclesubclass では %n
(subclass PassengerRailcar PassengerVehicle) Transportation.kif 2123-2123 PassengerRailcarPassengerVehiclesubclass では %n
(termFormat ChineseLanguage PassengerVehicle "乘用车") domainEnglishFormat.kif 44706-44706
(termFormat ChineseTraditionalLanguage PassengerVehicle "乘用車") domainEnglishFormat.kif 44705-44705
(termFormat EnglishLanguage PassengerVehicle "passenger vehicle") domainEnglishFormat.kif 44704-44704

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


(domain personTransportCapability 1 PassengerVehicle) MilitaryDevices.kif 71-71 personTransportCapability の数値 1 引数は PassengerVehicleinstance では %n

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


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


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