TelevisionReceiver(television receiver) |
appearance as argument number 1 |
(documentation TelevisionReceiver EnglishLanguage "A TelevisionReceiver is a Device for receiving television broadcast signals from a TelevisionStation or signals transmitted through a cable from a CableTelevisionSystem.") | Communications.kif 384-386 | |
(subclass TelevisionReceiver EngineeringComponent) | Communications.kif 381-381 | Television receiver is a subclass of engineering component |
(subclass TelevisionReceiver ReceiverDevice) | Communications.kif 380-380 | Television receiver is a subclass of receiver device |
appearance as argument number 2 |
(subclass AppleTV TelevisionReceiver) | ComputingBrands.kif 2097-2097 | Apple TV is a subclass of television receiver |
(termFormat ChineseLanguage TelevisionReceiver "电视接收器") | domainEnglishFormat.kif 57352-57352 | |
(termFormat ChineseTraditionalLanguage TelevisionReceiver "電視接收器") | domainEnglishFormat.kif 57351-57351 | |
(termFormat EnglishLanguage TelevisionReceiver "TV") | Communications.kif 383-383 | |
(termFormat EnglishLanguage TelevisionReceiver "television receiver") | domainEnglishFormat.kif 57350-57350 | |
(termFormat EnglishLanguage TelevisionReceiver "television") | Communications.kif 382-382 |
antecedent |
(=> (instance ?T TelevisionReceiver) (capability TelevisionBroadcasting patient ?T)) |
Communications.kif 394-396 |
|
consequent |