|
|
   RemoteControl
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RemoteControl EnglishLanguage "RemoteControl is Controller that does some ElectronicSignalling to communicate and control another Device") | engineering.kif 1117-1118 | |
| (subclass RemoteControl Controller) | engineering.kif 1116-1116 | RemoteControl は Controller の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass RemoteIgnitionControl RemoteControl) | Cars.kif 3738-3738 | RemoteIgnitionControl は RemoteControl の subclass では %n |
| (subclass TVRemoteControl RemoteControl) | Communications.kif 413-413 | TVRemoteControl は RemoteControl の subclass では %n |
| (termFormat EnglishLanguage RemoteControl "remote control") | engineering.kif 1119-1119 |
| antecedent |
|
|
| (=> (instance ?X RemoteControl) (hasPurpose ?X (exists (?SIGNAL ?DEVICE) (and (instance ?SIGNAL ElectronicSignalling) (agent ?SIGNAL ?X) (destination ?SIGNAL ?DEVICE) (instance ?DEVICE Device) (not (part ?X ?DEVICE)))))) |
engineering.kif 1121-1131 |
| consequent |
|
|
| (=> (instance ?X RemoteKeylessSystem) (exists (?KEY ?LOCK ?CLOSE ?OPEN) (and (instance ?KEY Key) (instance ?KEY RemoteControl) (member ?KEY ?X) (instance ?LOCK Lock) (member ?LOCK ?X) (capability (KappaFn ?CLOSE (and (instance ?CLOSE Closing) (patient ?CLOSE ?LOCK) (holdsDuring (ImmediateFutureFn ?CLOSE) (attribute ?LOCK Locked)))) instrument ?KEY) (capability (KappaFn ?OPEN (and (instance ?OPEN Closing) (patient ?OPEN ?LOCK) (holdsDuring (ImmediateFutureFn ?OPEN) (not (attribute ?LOCK Locked))))) instrument ?KEY)))) |
Cars.kif 3760-3785 |
|
|
|
|