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 1805-1805
(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 1802-1804
(externalImage PoweredVehicle "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ motorcycle/ cycle_2.png") pictureList.kif 2322-2322
(subclass PoweredVehicle Vehicle) Transportation.kif 1801-1801

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


(disjoint Railcar PoweredVehicle) Transportation.kif 2083-2083
(disjoint Trailer PoweredVehicle) Transportation.kif 1830-1830
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1649-1649
(subclass APC PoweredVehicle) MilitaryDevices.kif 1574-1574
(subclass Airplane PoweredVehicle) Transportation.kif 2590-2590
(subclass ElectrifiedRailwayCar PoweredVehicle) Transportation.kif 2174-2174
(subclass EmergencyRoadVehicle PoweredVehicle) Transportation.kif 1901-1901
(subclass EmergencyVehicle PoweredVehicle) Transportation.kif 1895-1895
(subclass LCAC PoweredVehicle) MilitaryDevices.kif 1947-1947
(subclass Locomotive PoweredVehicle) Transportation.kif 2124-2124
(subclass MotorRailcar PoweredVehicle) Transportation.kif 2212-2212
(subclass MotorizedRailwayCar PoweredVehicle) Transportation.kif 2119-2119
(subclass SelfPoweredRoadVehicle PoweredVehicle) Transportation.kif 1812-1812
(subclass Train PoweredVehicle) Transportation.kif 2056-2056
(termFormat ChineseLanguage PoweredVehicle "动力车辆") domainEnglishFormat.kif 47007-47007
(termFormat ChineseTraditionalLanguage PoweredVehicle "動力車輛") domainEnglishFormat.kif 47006-47006
(termFormat EnglishLanguage PoweredVehicle "powered vehicle") domainEnglishFormat.kif 47005-47005

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


(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))
Transportation.kif 1806-1809

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 3758-3772


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