(subclass TelevisionReceiver ReceiverDevice) | Communications.kif 380-380 | TelevisionReceiver è una sottoclasse di ReceiverDevice |
(subclass TelevisionReceiver EngineeringComponent) | Communications.kif 381-381 | TelevisionReceiver è una sottoclasse di Meccanismo |
(subclass AppleTV TelevisionReceiver) | ComputingBrands.kif 2097-2097 | AppleTV è una sottoclasse di TelevisionReceiver |