(subclass RemoteControl Controller) | engineering.kif 1116-1116 | RemoteControl è una sottoclasse di Controller |
(subclass TVRemoteControl RemoteControl) | Communications.kif 413-413 | TVRemoteControl è una sottoclasse di RemoteControl |
(subclass RemoteIgnitionControl RemoteControl) | Cars.kif 3738-3738 | RemoteIgnitionControl è una sottoclasse di RemoteControl |