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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoweredVehicle
PoweredVehicle

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


(disjoint PoweredVehicle UnpoweredVehicle) Transportation.kif 1787-1787 disjoint PoweredVehicle and UnpoweredVehicle
(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
(subclass PoweredVehicle Vehicle) Transportation.kif 1783-1783 subclass PoweredVehicle and Vehicle

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


(disjoint Railcar PoweredVehicle) Transportation.kif 2065-2065 disjoint Railcar and PoweredVehicle
(disjoint Trailer PoweredVehicle) Transportation.kif 1812-1812 disjoint Trailer and PoweredVehicle
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1649-1649 subclass AAV and PoweredVehicle
(subclass APC PoweredVehicle) MilitaryDevices.kif 1574-1574 subclass APC and PoweredVehicle
(subclass Airplane PoweredVehicle) Transportation.kif 2561-2561 subclass Airplane and PoweredVehicle
(subclass ElectrifiedRailwayCar PoweredVehicle) Transportation.kif 2156-2156 subclass ElectrifiedRailwayCar and PoweredVehicle
(subclass EmergencyRoadVehicle PoweredVehicle) Transportation.kif 1883-1883 subclass EmergencyRoadVehicle and PoweredVehicle
(subclass EmergencyVehicle PoweredVehicle) Transportation.kif 1877-1877 subclass EmergencyVehicle and PoweredVehicle
(subclass LCAC PoweredVehicle) MilitaryDevices.kif 1947-1947 subclass LCAC and PoweredVehicle
(subclass Locomotive PoweredVehicle) Transportation.kif 2106-2106 subclass Locomotive and PoweredVehicle
(subclass MotorRailcar PoweredVehicle) Transportation.kif 2194-2194 subclass MotorRailcar and PoweredVehicle
(subclass MotorizedRailwayCar PoweredVehicle) Transportation.kif 2101-2101 subclass MotorizedRailwayCar and PoweredVehicle
(subclass SelfPoweredRoadVehicle PoweredVehicle) Transportation.kif 1794-1794 subclass SelfPoweredRoadVehicle and PoweredVehicle
(subclass Train PoweredVehicle) Transportation.kif 2038-2038 subclass Train and PoweredVehicle
(termFormat ChineseLanguage PoweredVehicle "动力车辆") domainEnglishFormat.kif 46943-46943
(termFormat ChineseTraditionalLanguage PoweredVehicle "動力車輛") domainEnglishFormat.kif 46942-46942
(termFormat EnglishLanguage PoweredVehicle "powered vehicle") domainEnglishFormat.kif 46941-46941

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 3729-3743


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