| BroadcastNetwork(broadcast network) | | network |
| appearance as argument number 1 |
|
|
| (documentation BroadcastNetwork EnglishLanguage "BroadcastNetwork is the subclass of CommunicationSystems consisting of BroadcastingStations that are linked electronically and managed or owned by one organization.") | Communications.kif 359-361 | |
| (subclass BroadcastNetwork CommunicationSystem) | Communications.kif 358-358 | Broadcast network is a subclass of communication system |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BroadcastNetwork "广播网络") | domainEnglishFormat.kif 12045-12045 | |
| (termFormat ChineseTraditionalLanguage BroadcastNetwork "廣播網絡") | domainEnglishFormat.kif 12044-12044 | |
| (termFormat EnglishLanguage BroadcastNetwork "broadcast network") | domainEnglishFormat.kif 12043-12043 |
| antecedent |
|
|
| (=> (instance ?N BroadcastNetwork) (exists (?O) (and (instance ?O Organization) (forall (?M) (=> (member ?M ?N) (possesses ?O ?M)))))) |
Communications.kif 369-377 |
|
| (=> (instance ?N BroadcastNetwork) (forall (?M) (=> (member ?M ?N) (instance ?M BroadcastingStation)))) |
Communications.kif 362-367 |
|
|
|
|