Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Broadcasting

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

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


(documentation Broadcasting EnglishLanguage "Disseminating information by using a CommunicationDevice that radiates RadioEmissions.") Mid-level-ontology.kif 15634-15635
(subclass Broadcasting Disseminating) Mid-level-ontology.kif 15632-15632 Broadcasting is a subclass of disseminating
(subclass Broadcasting RadioEmission) Mid-level-ontology.kif 15633-15633 Broadcasting is a subclass of radio emission

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


(subclass RadioBroadcasting Broadcasting) Mid-level-ontology.kif 15644-15644 Radio broadcasting is a subclass of broadcasting
(subclass TelevisionBroadcasting Broadcasting) Mid-level-ontology.kif 15652-15652 Television broadcasting is a subclass of broadcasting
(termFormat ChineseLanguage Broadcasting "广播") domainEnglishFormat.kif 12013-12013
(termFormat ChineseTraditionalLanguage Broadcasting "廣播") domainEnglishFormat.kif 12012-12012
(termFormat EnglishLanguage Broadcasting "broadcasting") domainEnglishFormat.kif 12011-12011

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


(=>
    (instance ?BROADCAST Broadcasting)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE CommunicationDevice)
            (instrument ?BROADCAST ?DEVICE))))
Mid-level-ontology.kif 15637-15642

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


(=>
    (instance ?PROGRAM BroadcastProgram)
    (exists (?BROADCAST)
        (and
            (instance ?BROADCAST Broadcasting)
            (patient ?BROADCAST ?PROGRAM))))
Mid-level-ontology.kif 14438-14443


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners