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 1761-1761 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 1758-1760
(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 1757-1757 Powered vehicle is a subclass of vehicle

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


(disjoint Railcar PoweredVehicle) Transportation.kif 2037-2037 Railcar is disjoint from powered vehicle
(disjoint Trailer PoweredVehicle) Transportation.kif 1786-1786 Trailer is disjoint from powered vehicle
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1648-1648 AA v is a subclass of powered vehicle
(subclass APC PoweredVehicle) MilitaryDevices.kif 1573-1573 AP c is a subclass of powered vehicle
(subclass Airplane PoweredVehicle) Transportation.kif 2524-2524 Airplane is a subclass of powered vehicle
(subclass ElectrifiedRailwayCar PoweredVehicle) Transportation.kif 2128-2128 Electrified railway car is a subclass of powered vehicle
(subclass EmergencyRoadVehicle PoweredVehicle) Transportation.kif 1857-1857 Emergency road vehicle is a subclass of powered vehicle
(subclass EmergencyVehicle PoweredVehicle) Transportation.kif 1851-1851 Emergency vehicle is a subclass of powered vehicle
(subclass LCAC PoweredVehicle) MilitaryDevices.kif 1946-1946 LCA c is a subclass of powered vehicle
(subclass Locomotive PoweredVehicle) Transportation.kif 2078-2078 Locomotive is a subclass of powered vehicle
(subclass MotorRailcar PoweredVehicle) Transportation.kif 2166-2166 Motor railcar is a subclass of powered vehicle
(subclass MotorizedRailwayCar PoweredVehicle) Transportation.kif 2073-2073 Motorized railway car is a subclass of powered vehicle
(subclass SelfPoweredRoadVehicle PoweredVehicle) Transportation.kif 1768-1768 Self powered road vehicle is a subclass of powered vehicle
(subclass Train PoweredVehicle) Transportation.kif 2012-2012 Train is a subclass of powered vehicle
(termFormat EnglishLanguage PoweredVehicle "powered vehicle") domainEnglishFormat.kif 8260-8260 "powered vehicle" is the printable form of powered vehicle in english language

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


(=>
    (instance ?UV PoweredVehicle)
    (exists (?P)
        (powerComponent ?P ?UV)))
Transportation.kif 1762-1765

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 3721-3735


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