|
|
   PoweredVehicle
|
|
|
| appearance as argument number 1 |
|
|
| (disjoint PoweredVehicle UnpoweredVehicle) | Transportation.kif 1797-1797 | PoweredVehicle と UnpoweredVehicle は disjoint では %n |
| (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 は Vehicle の subclass では %n |
| 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 3740-3754 |
|
|
|
|
