| BroadcastNetwork | |
| 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 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BroadcastNetwork "广播网络") | domainEnglishFormat.kif 12040-12040 | |
| (termFormat ChineseTraditionalLanguage BroadcastNetwork "廣播網絡") | domainEnglishFormat.kif 12039-12039 | |
| (termFormat EnglishLanguage BroadcastNetwork "broadcast network") | domainEnglishFormat.kif 12038-12038 |
| 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 |
|
|
|