(subclass RemoteControl Controller) | engineering.kif 1116-1116 | RemoteControl は Controller の subclass では %n |
(subclass TVRemoteControl RemoteControl) | Communications.kif 413-413 | TVRemoteControl は RemoteControl の subclass では %n |
(subclass RemoteIgnitionControl RemoteControl) | Cars.kif 3753-3753 | RemoteIgnitionControl は RemoteControl の subclass では %n |