TelevisionStation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TelevisionStation BroadcastingStation)	Communications.kif 370-370	Television station is a subclass of broadcasting station
(documentation TelevisionStation 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

(termFormat EnglishLanguage TelevisionStation "television station")	domainEnglishFormat.kif 57353-57353
(termFormat ChineseTraditionalLanguage TelevisionStation "電視台")	domainEnglishFormat.kif 57354-57354
(termFormat ChineseLanguage TelevisionStation "电视台")	domainEnglishFormat.kif 57355-57355

antecedent

(=>
    (instance ?STATION TelevisionStation)
    (exists (?SYS)
        (and
            (instance ?SYS TelevisionSystem)
            (engineeringSubcomponent ?STATION ?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

(=> (instance ?STATION BroadcastingStation) (or (instance ?STATION TelevisionStation) (instance ?STATION 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
(=> (instance ?SYSTEM TelevisionSystem) (exists (?STATION) (and (instance ?STATION TelevisionStation) (engineeringSubcomponent ?STATION ?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
(=> (instance ?STATION TelevisionStationCompany) (exists (?TS ?PROG ?SERVICE) (and (instance ?TS TelevisionStation) (instance ?SERVICE CommercialService) (instance ?SERVICE Broadcasting) (agent ?SERVICE ?TS) (result ?SERVICE ?PROG) (instance ?PROG 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