PoweredVehicle
|
|
appearance as argument number 1 |
(disjoint PoweredVehicle UnpoweredVehicle) | Transportation.kif 1797-1797 | 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 1794-1796 | |
(externalImage PoweredVehicle "http://articulatesoftware.com/SUMOpictures/ transportation/ motorcycle/ cycle_2.png") | pictureList.kif 2321-2321 | |
(subclass PoweredVehicle Vehicle) | Transportation.kif 1793-1793 | Powered vehicle is a subclass of vehicle |
appearance as argument number 2 |
antecedent |
(=> (instance ?UV PoweredVehicle) (exists (?P) (powerComponent ?P ?UV))) |
Transportation.kif 1798-1801 |
|
consequent |