TelevisionStationCompany - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TelevisionStationCompany EnglishLanguage " A television station company is a business, organization or other such as an amateur television (ATV) operator that transmits (broadcasts) content over terrestrial television.")	Society.kif 326-327
(subclass TelevisionStationCompany MediaOrganization)	Society.kif 329-329	TelevisionStationCompany is a subclass of media organization

antecedent

(=>
    (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))))

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