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