TreeView Knowledge Base Browser - PerformanceProgram

appearance as argument number 1

(subclass PerformanceProgram FactualText)	Mid-level-ontology.kif 16140-16140	Performance program is a subclass of factual text
(documentation PerformanceProgram EnglishLanguage "A Text that describes the events and/ or participants in a Performance.")	Mid-level-ontology.kif 16141-16142	Performance program is a subclass of factual text
(externalImage PerformanceProgram "http://upload.wikimedia.org/wikipedia/ en/ 3/ 3e/ CatsMusicalLogo.jpg")	pictureList.kif 2720-2720	Performance program is a subclass of factual text

appearance as argument number 2

(termFormat EnglishLanguage PerformanceProgram "performance program")	domainEnglishFormat.kif 45125-45125
(termFormat ChineseTraditionalLanguage PerformanceProgram "表演計劃")	domainEnglishFormat.kif 45126-45126
(termFormat ChineseLanguage PerformanceProgram "表演计划")	domainEnglishFormat.kif 45127-45127

antecedent

(=>
    (instance ?PROG PerformanceProgram)
    (exists (?PERF ?PROP)
        (and
            (containsInformation ?PROG ?PROP)
            (realization ?PERF ?PROP)
            (instance ?PERF Performance))))

If X is an instance of performance program, then there exist Y, Z such that X contains information Z, Y expresses the content of Z, and Y is an instance of performance