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 | BroadcastingStation est un composant de CommunicationSystem |
(subclass BroadcastingStation CommunicationDevice) | Communications.kif 219-219 | BroadcastingStation est une sous-classe de CommunicationDevice |
(subclass BroadcastingStation EngineeringComponent) | Communications.kif 288-288 | BroadcastingStation est une sous-classe de composant d'un appareil |
(subclass BroadcastingStation StationaryArtifact) | Communications.kif 218-218 | BroadcastingStation est une sous-classe de artefact stationnaire |
appearance as argument number 2 |
(subclass RadioStation BroadcastingStation) | Communications.kif 287-287 | RadioStation est une sous-classe de BroadcastingStation |
(subclass TelevisionStation BroadcastingStation) | Communications.kif 322-322 | TelevisionStation est une sous-classe de BroadcastingStation |
(termFormat ChineseLanguage BroadcastingStation "电台") | domainEnglishFormat.kif 12023-12023 | |
(termFormat ChineseTraditionalLanguage BroadcastingStation "電台") | domainEnglishFormat.kif 12022-12022 | |
(termFormat EnglishLanguage BroadcastingStation "broadcasting station") | domainEnglishFormat.kif 12021-12021 |
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 362-367 |
|