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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NewsProgram

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 14627-14629
(subclass NewsProgram BroadcastProgram) Mid-level-ontology.kif 14626-14626

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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