(subclass RadioSystem CommunicationSystem) | Communications.kif 231-231 | RadioSystem est une sous-classe de CommunicationSystem |
(subclass AMRadioSystem RadioSystem) | Communications.kif 236-236 | AMRadioSystem est une sous-classe de RadioSystem |
(subclass FMRadioSystem RadioSystem) | Communications.kif 241-241 | FMRadioSystem est une sous-classe de RadioSystem |
(subclass ShortwaveRadioSystem RadioSystem) | Communications.kif 246-246 | ShortwaveRadioSystem est une sous-classe de RadioSystem |
(subclass BabyMonitoringSystem RadioSystem) | Communications.kif 251-251 | BabyMonitoringSystem est une sous-classe de RadioSystem |