TreeView Knowledge Base Browser

appearance as argument number 1

(subclass BroadcastProgram Series)	Mid-level-ontology.kif 16193-16193	Broadcast program is a subclass of series
(documentation BroadcastProgram EnglishLanguage "A Series of episodes that are broadcast on television or radio.")	Mid-level-ontology.kif 16194-16195	Broadcast program is a subclass of series
(externalImage BroadcastProgram "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0e/ Colbert_Report_studio.jpg")	pictureList.kif 2649-2649	Broadcast program is a subclass of series
(externalImage BroadcastProgram "http://upload.wikimedia.org/wikipedia/en/ 7/ 7a/ Lost_title_card.jpg")	pictureList.kif 2762-2762	Broadcast program is a subclass of series
(externalImage BroadcastProgram "http://upload.wikimedia.org/wikipedia/en/ 7/ 70/ Heroes_logo.png")	pictureList.kif 2763-2763	Broadcast program is a subclass of series
(externalImage BroadcastProgram "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Truthiness_comic.jpg")	pictureList.kif 2764-2764	Broadcast program is a subclass of series

appearance as argument number 2

(subclass NewsProgram BroadcastProgram)	Mid-level-ontology.kif 16204-16204	Newsprogram is a subclass of broadcast program
(termFormat EnglishLanguage BroadcastProgram "broadcast program")	domainEnglishFormat.kif 12041-12041	Newsprogram is a subclass of broadcast program
(termFormat ChineseTraditionalLanguage BroadcastProgram "廣播節目")	domainEnglishFormat.kif 12042-12042	Newsprogram is a subclass of broadcast program
(termFormat ChineseLanguage BroadcastProgram "广播节目")	domainEnglishFormat.kif 12043-12043	Newsprogram is a subclass of broadcast program

antecedent

(=>
    (instance ?PROGRAM BroadcastProgram)
    (exists (?BROADCAST)
        (and
            (instance ?BROADCAST Broadcasting)
            (patient ?BROADCAST ?PROGRAM))))

If X is an instance of broadcast program, then there exists Y such that Y is an instance of broadcasting and X is a patient of Y