| TelevisionBroadcasting(television broadcasting) | | HDTV, TV, high-definition_television, telecast, telecasting, televise, television, video |
| appearance as argument number 1 |
|
|
| (documentation TelevisionBroadcasting EnglishLanguage "Any instance of Broadcasting which is intended to be received by a Television.") | Mid-level-ontology.kif 16025-16026 | |
| (subclass TelevisionBroadcasting Broadcasting) | Mid-level-ontology.kif 16024-16024 | Television broadcasting is a subclass of broadcasting |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage TelevisionBroadcasting "电视广播") | domainEnglishFormat.kif 57386-57386 | |
| (termFormat ChineseTraditionalLanguage TelevisionBroadcasting "電視廣播") | domainEnglishFormat.kif 57385-57385 | |
| (termFormat EnglishLanguage TelevisionBroadcasting "television broadcasting") | domainEnglishFormat.kif 57384-57384 |
| consequent |
|
|
| (=> (instance ?T TelevisionReceiver) (capability TelevisionBroadcasting patient ?T)) |
Communications.kif 394-396 |
|
|
|
|