|
|
   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 |
| appearance as argument number 2 |
|
|
| (subclass RemoteIgnitionControl RemoteControl) | Cars.kif 3738-3738 | |
| (subclass TVRemoteControl RemoteControl) | Communications.kif 413-413 | |
| (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 |
|
|
|