PoweredVehicle(powered vehicle)![]() |
appearance as argument number 1 |
![]() |
(disjoint PoweredVehicle UnpoweredVehicle) | Transportation.kif 1805-1805 | 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 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 | Powered vehicle is a subclass of vehicle |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?UV PoweredVehicle) (exists (?P) (powerComponent ?P ?UV))) |
Transportation.kif 1806-1809 |
|
consequent |
![]() |
![]() |
![]() |