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 | BroadcastNetwork ist eine teilkategorie von CommunicationSystem |
appearance as argument number 2 |
(termFormat ChineseLanguage BroadcastNetwork "广播网络") | domainEnglishFormat.kif 12029-12029 | |
(termFormat ChineseTraditionalLanguage BroadcastNetwork "廣播網絡") | domainEnglishFormat.kif 12028-12028 | |
(termFormat EnglishLanguage BroadcastNetwork "broadcast network") | domainEnglishFormat.kif 12027-12027 |
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 |
|