| No TPTP formula. May not be expressible in strict first order. | Communications.kif 380-380 | 子類 電視接收器 and 接收器設備 |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 381-381 | 子類 電視接收器 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2097-2097 | 子類 蘋果 TV and 電視接收器 |
|
|