RemoteIgnitionControl
|
|
appearance as argument number 1 |
(documentation RemoteIgnitionControl EnglishLanguage "A RemoteControl able to start the Engine of a PoweredVehicle using ElectronicSignalling.") | Cars.kif 3762-3762 | |
(subclass RemoteIgnitionControl RemoteControl) | Cars.kif 3761-3761 | RemoteIgnitionControl ist eine teilkategorie von RemoteControl |
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 3763-3777 |
|