|
|
   RemoteIgnitionControl
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RemoteIgnitionControl EnglishLanguage "A RemoteControl able to start the Engine of a PoweredVehicle using ElectronicSignalling.") | Cars.kif 3739-3739 | |
| (subclass RemoteIgnitionControl RemoteControl) | Cars.kif 3738-3738 | RemoteIgnitionControl 是 RemoteControl 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RemoteIgnitionControl "remote ignition control") | domainEnglishFormat.kif 65405-65405 |
| antecedent |
|
|
| (=> (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 |
|
|
|
|