(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 3761-3761 | RemoteIgnitionControl は RemoteControl の subclass では %n |
![]() |