BroadcastingStation - Sigma Knowledge base Browser

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	Broadcasting station is a component of communication system
(subclass BroadcastingStation CommunicationDevice)	Communications.kif 219-219	Broadcasting station is a subclass of communication device
(subclass BroadcastingStation EngineeringComponent)	Communications.kif 288-288	Broadcasting station is a subclass of engineering component
(subclass BroadcastingStation StationaryArtifact)	Communications.kif 218-218	Broadcasting station is a subclass of stationary artifact

appearance as argument number 2

(subclass RadioStation BroadcastingStation)	Communications.kif 287-287	Radio station is a subclass of broadcasting station
(subclass TelevisionStation BroadcastingStation)	Communications.kif 322-322	Television station is a subclass of broadcasting station
(termFormat ChineseLanguage BroadcastingStation "电台")	domainEnglishFormat.kif 12038-12038	Television station is a subclass of broadcasting station
(termFormat ChineseTraditionalLanguage BroadcastingStation "電台")	domainEnglishFormat.kif 12037-12037	Television station is a subclass of broadcasting station
(termFormat EnglishLanguage BroadcastingStation "broadcasting station")	domainEnglishFormat.kif 12036-12036	Television station is a subclass of broadcasting station

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