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