| BroadcastingStation | |
| appearance as argument number 1 |
|
|
| (documentation BroadcastingStation EnglishLanguage "A BroadcastingStation is an engineeringSubcomponent of either a TelevisionSystem or a RadioStation.") | Communications.kif 221-223 | |
| (engineeringSubcomponent BroadcastingStation CommunicationSystem) | Communications.kif 220-220 | |
| (subclass BroadcastingStation CommunicationDevice) | Communications.kif 219-219 | |
| (subclass BroadcastingStation EngineeringComponent) | Communications.kif 288-288 | |
| (subclass BroadcastingStation StationaryArtifact) | Communications.kif 218-218 |
| appearance as argument number 2 |
|
|
| (subclass RadioStation BroadcastingStation) | Communications.kif 287-287 | |
| (subclass TelevisionStation BroadcastingStation) | Communications.kif 367-367 | |
| (termFormat ChineseLanguage BroadcastingStation "电台") | domainEnglishFormat.kif 12032-12032 | |
| (termFormat ChineseTraditionalLanguage BroadcastingStation "電台") | domainEnglishFormat.kif 12031-12031 | |
| (termFormat EnglishLanguage BroadcastingStation "broadcasting station") | domainEnglishFormat.kif 12030-12030 |
| antecedent |
|
|
| (=> (instance ?STATION BroadcastingStation) (or (instance ?STATION TelevisionStation) (instance ?STATION RadioStation))) |
Communications.kif 225-229 |
| consequent |
|
|
| (=> (instance ?N BroadcastNetwork) (forall (?M) (=> (member ?M ?N) (instance ?M BroadcastingStation)))) |
Communications.kif 407-412 |
|
|
|