(subclass TelevisionReceiver ReceiverDevice) | Communications.kif 380-380 | TelevisionReceiver は ReceiverDevice の subclass では %n |
(subclass TelevisionReceiver EngineeringComponent) | Communications.kif 381-381 | TelevisionReceiver は エンジニアリング部品 の subclass では %n |
(subclass AppleTV TelevisionReceiver) | ComputingBrands.kif 2097-2097 | Apple TV は TelevisionReceiver の subclass では %n |