|
|
   PoweredVehicle
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint PoweredVehicle UnpoweredVehicle) | Transportation.kif 1797-1797 | PoweredVehicle est disjoint de UnpoweredVehicle |
| (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 | PoweredVehicle est une sous-classe de Vehicle |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?UV PoweredVehicle) (exists (?P) (powerComponent ?P ?UV))) |
Transportation.kif 1798-1801 |
|
| 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 3755-3769 |
|
|
|
|
