BroadcastingStation - Sigma Knowledge base Browser

appearance as argument number 1

s__subclass(s__BroadcastingStation,s__StationaryArtifact)	Communications.kif 199-199	Broadcasting station is a subclass of stationary artifact
s__subclass(s__BroadcastingStation,s__CommunicationDevice)	Communications.kif 200-200	Broadcasting station is a subclass of communication device
s__documentation(s__BroadcastingStation, s__EnglishLanguage, "A BroadcastingStation is an engineeringSubcomponent of either a TelevisionSystem or a RadioStation_")	Communications.kif 207-209	Broadcasting station is a subclass of communication device
s__subclass(s__BroadcastingStation,s__EngineeringComponent)	Communications.kif 274-274	Broadcasting station is a subclass of engineering component

appearance as argument number 2

s__subclass(s__RadioStation,s__BroadcastingStation)	Communications.kif 273-273	Radio station is a subclass of broadcasting station
s__subclass(s__TelevisionStation,s__BroadcastingStation)	Communications.kif 370-370	Television station is a subclass of broadcasting station
s__termFormat(s__EnglishLanguage, s__BroadcastingStation, "broadcasting station")	domainEnglishFormat.kif 12029-12029	Television station is a subclass of broadcasting station
s__termFormat(s__ChineseTraditionalLanguage, s__BroadcastingStation, "電台")	domainEnglishFormat.kif 12030-12030	Television station is a subclass of broadcasting station
s__termFormat(s__ChineseLanguage, s__BroadcastingStation, "电台")	domainEnglishFormat.kif 12031-12031	Television station is a subclass of broadcasting station

antecedent

! [V__STATION] : ((s__instance(V__STATION,s__BroadcastingStation) => (? [V__SYS] : ((s__instance(V__SYS,s__CommunicationSystem) & s__engineeringSubcomponent(V__STATION,V__SYS))))) )	Communications.kif 201-206	If X is an instance of broadcasting station, then there exists Y such that Y is an instance of communication system and X is a component of Y
! [V__STATION] : ((s__instance(V__STATION,s__BroadcastingStation) => (s__instance(V__STATION,s__TelevisionStation) \| s__instance(V__STATION,s__RadioStation))) )	Communications.kif 211-215	If X is an instance of broadcasting station, then X is an instance of television station or X is an instance of radio station

consequent

! [V__N] :
((s__instance(V__N,s__BroadcastNetwork) =>
     (! [V__M] :
       ((s__member(V__M,V__N)
         =>
         s__instance(V__M,s__BroadcastingStation)))))
)