(subclass RemoteControl Controller) | engineering.kif 1116-1116 | RemoteControl 是 调节器 的 subclass |
(subclass TVRemoteControl RemoteControl) | Communications.kif 413-413 | TVRemoteControl 是 RemoteControl 的 subclass |
(subclass RemoteIgnitionControl RemoteControl) | Cars.kif 3753-3753 | RemoteIgnitionControl 是 RemoteControl 的 subclass |