| PoweredVehicle
|
| appearance as argument number 1 |
|
| (disjoint PoweredVehicle UnpoweredVehicle) | Transportation.kif 1937-1937 | PoweredVehicle と UnpoweredVehicle は disjoint では |
| (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 1934-1936 | PoweredVehicle と UnpoweredVehicle は disjoint では |
| (externalImage PoweredVehicle "http://articulatesoftware.com/SUMOpictures/ transportation/ motorcycle/ cycle_2.png") | pictureList.kif 2320-2320 | PoweredVehicle と UnpoweredVehicle は disjoint では |
| (subclass PoweredVehicle Vehicle) | Transportation.kif 1933-1933 | PoweredVehicle は Vehicle の subclass では |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?UV PoweredVehicle) (exists (?P) (powerComponent ?P ?UV))) |
Transportation.kif 1938-1941 |
|
| 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 3816-3830 |
|
|
|
|