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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoweredVehicle
PoweredVehicle(powered vehicle)

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


s__disjoint(s__PoweredVehicle,s__UnpoweredVehicle)

Transportation.kif 1805-1805 Powered vehicle is disjoint from unpowered vehicle
s__documentation(s__PoweredVehicle,s__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
s__externalImage(s__PoweredVehicle,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ motorcycle/ cycle_2.png"')

pictureList.kif 2322-2322
s__subclass(s__PoweredVehicle,s__Vehicle)

s__instance(s__Vehicle,s__SetOrClass)

s__instance(s__PoweredVehicle,s__SetOrClass)

Transportation.kif 1801-1801 Powered vehicle is a subclass of vehicle

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


s__disjoint(s__Railcar,s__PoweredVehicle)

Transportation.kif 2083-2083 Railcar is disjoint from powered vehicle
s__disjoint(s__Trailer,s__PoweredVehicle)

Transportation.kif 1830-1830 Trailer is disjoint from powered vehicle
s__subclass(s__AAV,s__PoweredVehicle)

s__instance(s__AAV,s__SetOrClass)

s__instance(s__PoweredVehicle,s__SetOrClass)

MilitaryDevices.kif 1649-1649 Amphibious Assault Vehicle is a subclass of powered vehicle
s__instance(s__PoweredVehicle,s__SetOrClass)

s__subclass(s__APC,s__PoweredVehicle)

s__instance(s__APC,s__SetOrClass)

MilitaryDevices.kif 1574-1574 AP c is a subclass of powered vehicle
s__subclass(s__Airplane,s__PoweredVehicle)

s__instance(s__PoweredVehicle,s__SetOrClass)

s__instance(s__Airplane,s__SetOrClass)

Transportation.kif 2590-2590 Airplane is a subclass of powered vehicle
s__instance(s__ElectrifiedRailwayCar,s__SetOrClass)

s__instance(s__PoweredVehicle,s__SetOrClass)

s__subclass(s__ElectrifiedRailwayCar,s__PoweredVehicle)

Transportation.kif 2174-2174 Electrified railway car is a subclass of powered vehicle
s__instance(s__EmergencyRoadVehicle,s__SetOrClass)

s__subclass(s__EmergencyRoadVehicle,s__PoweredVehicle)

s__instance(s__PoweredVehicle,s__SetOrClass)

Transportation.kif 1901-1901 Emergency road vehicle is a subclass of powered vehicle
s__instance(s__EmergencyVehicle,s__SetOrClass)

s__instance(s__PoweredVehicle,s__SetOrClass)

s__subclass(s__EmergencyVehicle,s__PoweredVehicle)

Transportation.kif 1895-1895 Emergency vehicle is a subclass of powered vehicle
s__instance(s__PoweredVehicle,s__SetOrClass)

s__subclass(s__LCAC,s__PoweredVehicle)

s__instance(s__LCAC,s__SetOrClass)

MilitaryDevices.kif 1947-1947 LCAC is a subclass of powered vehicle
s__subclass(s__Locomotive,s__PoweredVehicle)

s__instance(s__PoweredVehicle,s__SetOrClass)

s__instance(s__Locomotive,s__SetOrClass)

Transportation.kif 2124-2124 Locomotive is a subclass of powered vehicle
s__instance(s__MotorRailcar,s__SetOrClass)

s__instance(s__PoweredVehicle,s__SetOrClass)

s__subclass(s__MotorRailcar,s__PoweredVehicle)

Transportation.kif 2212-2212 Motor railcar is a subclass of powered vehicle
s__subclass(s__MotorizedRailwayCar,s__PoweredVehicle)

s__instance(s__PoweredVehicle,s__SetOrClass)

s__instance(s__MotorizedRailwayCar,s__SetOrClass)

Transportation.kif 2119-2119 Motorized railway car is a subclass of powered vehicle
s__subclass(s__SelfPoweredRoadVehicle,s__PoweredVehicle)

s__instance(s__PoweredVehicle,s__SetOrClass)

s__instance(s__SelfPoweredRoadVehicle,s__SetOrClass)

Transportation.kif 1812-1812 Self powered road vehicle is a subclass of powered vehicle
s__subclass(s__Train,s__PoweredVehicle)

s__instance(s__PoweredVehicle,s__SetOrClass)

s__instance(s__Train,s__SetOrClass)

Transportation.kif 2056-2056 Train is a subclass of powered vehicle
s__termFormat(s__ChineseLanguage,s__PoweredVehicle,'"动力车辆"')

domainEnglishFormat.kif 47006-47006
s__termFormat(s__ChineseTraditionalLanguage,s__PoweredVehicle,'"動力車輛"')

domainEnglishFormat.kif 47005-47005
s__termFormat(s__EnglishLanguage,s__PoweredVehicle,'"powered vehicle"')

domainEnglishFormat.kif 47004-47004

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


( ! [V__UV] :
   ((s__subclass(V__UV,s__Artifact) =>
       ((s__instance(V__UV,s__PoweredVehicle) =>
           (( ? [V__P] :
               ((s__instance(V__P,s__CorpuscularObject) &
                   s__powerComponent(V__P,V__UV))))))))
   )
)

Transportation.kif 1806-1809

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3771-3785


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