Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Broadcasting
Broadcasting(broadcasting)broadcast, final_result, outcome, program, programme, rebroadcast, result, resultant, termination

appearance as argument number 1
-------------------------


s__subclass(s__Broadcasting,s__Disseminating)

 Mid-level-ontology.kif 17401-17401 Broadcasting is a subclass of disseminating
s__subclass(s__Broadcasting,s__RadioEmission)

 Mid-level-ontology.kif 17402-17402 Broadcasting is a subclass of radio emission
s__documentation(s__Broadcasting, s__EnglishLanguage, "Disseminating information by using a CommunicationDevice that radiates RadioEmissions_") Mid-level-ontology.kif 17403-17404 Broadcasting is a subclass of radio emission

appearance as argument number 2
-------------------------


s__subclass(s__RadioBroadcasting,s__Broadcasting)

 Mid-level-ontology.kif 17413-17413 Radio broadcasting is a subclass of broadcasting
s__subclass(s__TelevisionBroadcasting,s__Broadcasting)

 Mid-level-ontology.kif 17421-17421 Television broadcasting is a subclass of broadcasting
s__termFormat(s__EnglishLanguage, s__Broadcasting, "broadcasting") domainEnglishFormat.kif 12017-12017 Television broadcasting is a subclass of broadcasting
s__termFormat(s__ChineseTraditionalLanguage, s__Broadcasting, "廣播") domainEnglishFormat.kif 12018-12018 Television broadcasting is a subclass of broadcasting
s__termFormat(s__ChineseLanguage, s__Broadcasting, "广播") domainEnglishFormat.kif 12019-12019 Television broadcasting is a subclass of broadcasting

antecedent
-------------------------


! [V__BROADCAST] :
((s__instance(V__BROADCAST,s__Broadcasting) =>
     (? [V__DEVICE] :
       ((s__instance(V__DEVICE,s__CommunicationDevice) &
           s__instrument(V__BROADCAST,V__DEVICE)))))
)

 Mid-level-ontology.kif 17406-17411 If X is an instance of broadcasting, then there exists Y such that Y is an instance of communication device and Y is an instrument for X

consequent
-------------------------


! [V__PROGRAM] :
((s__instance(V__PROGRAM,s__BroadcastProgram) =>
     (? [V__BROADCAST] :
       ((s__instance(V__BROADCAST,s__Broadcasting) &
           s__patient(V__BROADCAST,V__PROGRAM)))))
)

 Mid-level-ontology.kif 16197-16202 If X is an instance of broadcast program, then there exists Y such that Y is an instance of broadcasting and X is a patient of Y
! [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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners