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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NewsProgram
NewsProgram(newsprogram)news, news_program, news_show, television_news

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


(documentation NewsProgram EnglishLanguage "A BroadcastProgram that is devoted to reporting the latest events in a city, region, nation or the world at large.") Mid-level-ontology.kif 14627-14629
(subclass NewsProgram BroadcastProgram) Mid-level-ontology.kif 14626-14626 Newsprogram is a subclass of broadcast program

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


(termFormat ChineseLanguage NewsProgram "新闻节目") domainEnglishFormat.kif 40355-40355
(termFormat ChineseTraditionalLanguage NewsProgram "新聞節目") domainEnglishFormat.kif 40354-40354
(termFormat EnglishLanguage NewsProgram "news program") domainEnglishFormat.kif 40353-40353
(termFormat EnglishLanguage NewsProgram "newsprogram") domainEnglishFormat.kif 65241-65241

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


(=>
    (and
        (subclass ?PROGRAM NewsProgram)
        (instance ?EPISODE
            (SeriesVolumeFn ?PROGRAM ?NUMBER)))
    (exists (?DISSEMINATE)
        (and
            (instance ?DISSEMINATE Disseminating)
            (patient ?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 14633-14640

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


(=>
    (attribute ?H NewsReporter)
    (hasPurpose ?H
        (exists (?EV ?T ?NEWS)
            (and
                (instance ?EV Process)
                (overlapsTemporally
                    (WhenFn ?EV)
                    (WhenFn ?H))
                (instance ?T ?NEWS)
                (or
                    (subclass ?NEWS Newspaper)
                    (subclass ?NEWS NewsProgram))
                (authors ?H ?NEWS)
                (refers ?T ?EV)))))
Mid-level-ontology.kif 21093-21107


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