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 14818-14820
(subclass NewsProgram BroadcastProgram) Mid-level-ontology.kif 14817-14817 Newsprogram is a subclass of broadcast program

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


(termFormat ChineseLanguage NewsProgram "新闻节目") domainEnglishFormat.kif 40391-40391
(termFormat ChineseTraditionalLanguage NewsProgram "新聞節目") domainEnglishFormat.kif 40390-40390
(termFormat EnglishLanguage NewsProgram "news program") domainEnglishFormat.kif 40389-40389
(termFormat EnglishLanguage NewsProgram "newsprogram") domainEnglishFormat.kif 65287-65287

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


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

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 21324-21338


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