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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoweredVehicle
PoweredVehicle(powered vehicle)
powered_vehicle, 动力车辆, 動力車輛

appearance as argument number 1
-------------------------


(disjoint PoweredVehicle UnpoweredVehicle) Transportation.kif 1787-1787 Powered vehicle is disjoint from unpowered vehicle
(documentation PoweredVehicle EnglishLanguage "A Vehicle that has a powerComponent. Note that PoweredVehicles include those vehicles that have a powerComponent where the user can and does often choose not to use it, such as a moped with pedals.") Transportation.kif 1784-1786
(externalImage PoweredVehicle "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ motorcycle/ cycle_2.png") pictureList.kif 2322-2322 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ motorcycle/ cycle_2.png" is a URL depicting powered vehicle
(subclass PoweredVehicle Vehicle) Transportation.kif 1783-1783 Powered vehicle is a subclass of vehicle

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


(disjoint Railcar PoweredVehicle) Transportation.kif 2065-2065 Railcar is disjoint from powered vehicle
(disjoint Trailer PoweredVehicle) Transportation.kif 1812-1812 Trailer is disjoint from powered vehicle
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1649-1649 Amphibious Assault Vehicle is a subclass of powered vehicle
(subclass APC PoweredVehicle) MilitaryDevices.kif 1574-1574 AP c is a subclass of powered vehicle
(subclass Airplane PoweredVehicle) Transportation.kif 2552-2552 Airplane is a subclass of powered vehicle
(subclass ElectrifiedRailwayCar PoweredVehicle) Transportation.kif 2156-2156 Electrified railway car is a subclass of powered vehicle
(subclass EmergencyRoadVehicle PoweredVehicle) Transportation.kif 1883-1883 Emergency road vehicle is a subclass of powered vehicle
(subclass EmergencyVehicle PoweredVehicle) Transportation.kif 1877-1877 Emergency vehicle is a subclass of powered vehicle
(subclass LCAC PoweredVehicle) MilitaryDevices.kif 1947-1947 LCAC is a subclass of powered vehicle
(subclass Locomotive PoweredVehicle) Transportation.kif 2106-2106 Locomotive is a subclass of powered vehicle
(subclass MotorRailcar PoweredVehicle) Transportation.kif 2194-2194 Motor railcar is a subclass of powered vehicle
(subclass MotorizedRailwayCar PoweredVehicle) Transportation.kif 2101-2101 Motorized railway car is a subclass of powered vehicle
(subclass SelfPoweredRoadVehicle PoweredVehicle) Transportation.kif 1794-1794 Self powered road vehicle is a subclass of powered vehicle
(subclass Train PoweredVehicle) Transportation.kif 2038-2038 Train is a subclass of powered vehicle
(termFormat ChineseLanguage PoweredVehicle "动力车辆") domainEnglishFormat.kif 46963-46963 "动力车辆" is the printable form of powered vehicle in ChineseLanguage
(termFormat ChineseTraditionalLanguage PoweredVehicle "動力車輛") domainEnglishFormat.kif 46962-46962 "動力車輛" is the printable form of powered vehicle in ChineseTraditionalLanguage
(termFormat EnglishLanguage PoweredVehicle "powered vehicle") domainEnglishFormat.kif 46961-46961 "powered vehicle" is the printable form of powered vehicle in english language

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


(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))
Transportation.kif 1788-1791

consequent
-------------------------


(=>
    (instance ?X RemoteIgnitionControl)
    (hasPurpose ?X
        (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC)
            (and
                (instance ?VEHICLE PoweredVehicle)
                (instance ?SIGNAL ElectronicSignalling)
                (instrument ?SIGNAL ?X)
                (destination ?SIGNAL ?VEHICLE)
                (instance ?ENGINE Engine)
                (component ?ENGINE ?VEHICLE)
                (instance ?PROC
                    (OperatingFn Engine))
                (experiencer ?PROC ?ENGINE)
                (causes ?SIGNAL ?PROC)))))
Cars.kif 3727-3741


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