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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BroadcastProgram
BroadcastProgram

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


(documentation BroadcastProgram EnglishLanguage "A Series of episodes that are broadcast on television or radio.") Mid-level-ontology.kif 12360-12361
(externalImage BroadcastProgram "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Colbert_Report_studio.jpg") pictureList.kif 2651-2651
(externalImage BroadcastProgram "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Truthiness_comic.jpg") pictureList.kif 2766-2766
(externalImage BroadcastProgram "http://upload.wikimedia.org/wikipedia/en/ 7/ 70/ Heroes_logo.png") pictureList.kif 2765-2765
(externalImage BroadcastProgram "http://upload.wikimedia.org/wikipedia/en/ 7/ 7a/ Lost_title_card.jpg") pictureList.kif 2764-2764
(subclass BroadcastProgram Series) Mid-level-ontology.kif 12359-12359

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


(subclass NewsProgram BroadcastProgram) Mid-level-ontology.kif 12370-12370
(termFormat ChineseLanguage BroadcastProgram "广播节目") domainEnglishFormat.kif 11977-11977
(termFormat ChineseTraditionalLanguage BroadcastProgram "廣播節目") domainEnglishFormat.kif 11976-11976
(termFormat EnglishLanguage BroadcastProgram "broadcast program") domainEnglishFormat.kif 11975-11975

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


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


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 is open source software produced by Articulate Software and its partners