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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Broadcasting

Sigma KEE - Broadcasting
Broadcasting(廣播)

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


(documentation Broadcasting EnglishLanguage "Disseminating information by using a CommunicationDevice that radiates RadioEmissions.") Mid-level-ontology.kif 15815-15816
(subclass Broadcasting Disseminating) Mid-level-ontology.kif 15813-15813 子類 廣播 and Disseminating
(subclass Broadcasting RadioEmission) Mid-level-ontology.kif 15814-15814 子類 廣播 and 無線電發射

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


(subclass RadioBroadcasting Broadcasting) Mid-level-ontology.kif 15825-15825 子類 無線電廣播 and 廣播
(subclass TelevisionBroadcasting Broadcasting) Mid-level-ontology.kif 15833-15833 子類 電視廣播 and 廣播
(termFormat ChineseLanguage Broadcasting "广播") domainEnglishFormat.kif 12011-12011
(termFormat ChineseTraditionalLanguage Broadcasting "廣播") domainEnglishFormat.kif 12010-12010
(termFormat EnglishLanguage Broadcasting "broadcasting") domainEnglishFormat.kif 12009-12009

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


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

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


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


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