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

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


(termFormat ChineseLanguage NewsProgram "新闻节目") domainEnglishFormat.kif 40383-40383
(termFormat ChineseTraditionalLanguage NewsProgram "新聞節目") domainEnglishFormat.kif 40382-40382
(termFormat EnglishLanguage NewsProgram "news program") domainEnglishFormat.kif 40381-40381
(termFormat EnglishLanguage NewsProgram "newsprogram") domainEnglishFormat.kif 65262-65262

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


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

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 22155-22169


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