TelevisionStationCompany - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__TelevisionStationCompany, s__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
s__subclass(s__TelevisionStationCompany,s__MediaOrganization)	Society.kif 329-329	TelevisionStationCompany is a subclass of media organization

antecedent

! [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)))))
)

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