| (subclass RadioSystem CommunicationSystem) | Communications.kif 231-231 | RadioSystem は CommunicationSystem の subclass では %n |
| (subclass AMRadioSystem RadioSystem) | Communications.kif 236-236 | AMRadioSystem は RadioSystem の subclass では %n |
| (subclass FMRadioSystem RadioSystem) | Communications.kif 241-241 | FMRadioSystem は RadioSystem の subclass では %n |
| (subclass ShortwaveRadioSystem RadioSystem) | Communications.kif 246-246 | ShortwaveRadioSystem は RadioSystem の subclass では %n |
| (subclass BabyMonitoringSystem RadioSystem) | Communications.kif 251-251 | BabyMonitoringSystem は RadioSystem の subclass では %n |
|
|