(subclass TelevisionReceiver ReceiverDevice) | Communications.kif 380-380 | TelevisionReceiver est une sous-classe de ReceiverDevice |
(subclass TelevisionReceiver EngineeringComponent) | Communications.kif 381-381 | TelevisionReceiver est une sous-classe de composant d'un appareil |
(subclass AppleTV TelevisionReceiver) | ComputingBrands.kif 2097-2097 | AppleTV est une sous-classe de TelevisionReceiver |