TelevisionStation - Sigma Knowledge base Browser

appearance as argument number 1

s__subclass(s__TelevisionStation,s__BroadcastingStation)	Communications.kif 370-370	Television station is a subclass of broadcasting station
s__documentation(s__TelevisionStation, s__EnglishLanguage, "A TelevisionStation is an engineeringSubcomponent of a TelevisionSystem_")	Communications.kif 377-378	Television station is a subclass of broadcasting station

appearance as argument number 2

s__termFormat(s__EnglishLanguage, s__TelevisionStation, "television station")	domainEnglishFormat.kif 57353-57353
s__termFormat(s__ChineseTraditionalLanguage, s__TelevisionStation, "電視台")	domainEnglishFormat.kif 57354-57354
s__termFormat(s__ChineseLanguage, s__TelevisionStation, "电视台")	domainEnglishFormat.kif 57355-57355

antecedent

! [V__STATION] :
((s__instance(V__STATION,s__TelevisionStation) =>
     (? [V__SYS] :
       ((s__instance(V__SYS,s__TelevisionSystem) &
           s__engineeringSubcomponent(V__STATION,V__SYS)))))
)

If X is an instance of television station, then there exists Y such that Y is an instance of television system and X is a component of Y

consequent

! [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
! [V__SYSTEM] : ((s__instance(V__SYSTEM,s__TelevisionSystem) => (? [V__STATION] : ((s__instance(V__STATION,s__TelevisionStation) & s__engineeringSubcomponent(V__STATION,V__SYSTEM))))) )	Communications.kif 379-384	If X is an instance of television system, then there exists Y such that Y is an instance of television station and Y is a component of X
! [V__STATION] : ((s__instance(V__STATION,s__TelevisionStationCompany) => (? [V__TS,V__PROG,V__SERVICE] : ((s__instance(V__TS,s__TelevisionStation) & s__instance(V__SERVICE,s__CommercialService) & s__instance(V__SERVICE,s__Broadcasting) & s__agent(V__SERVICE,V__TS) & s__result(V__SERVICE,V__PROG) & s__instance(V__PROG,s__TelevisionBroadcasting))))) )	Society.kif 331-340	If X is an instance of TelevisionStationCompany, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of television station (3) W is an instance of commercial service (4) W is an instance of broadcasting (5) Y is an agent of W (6) Z is a result of W (7) Z is an instance of television broadcasting