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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NewsProgram
NewsProgram

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

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


(termFormat ChineseLanguage NewsProgram "新闻节目") domainEnglishFormat.kif 40386-40386
(termFormat ChineseTraditionalLanguage NewsProgram "新聞節目") domainEnglishFormat.kif 40385-40385
(termFormat EnglishLanguage NewsProgram "news program") domainEnglishFormat.kif 40384-40384
(termFormat EnglishLanguage NewsProgram "newsprogram") domainEnglishFormat.kif 65264-65264

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