TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Cinema Auditorium)	Mid-level-ontology.kif 24779-24779	Cinema is a subclass of auditorium
(documentation Cinema EnglishLanguage "An Auditorium where MotionPicture are shown.")	Mid-level-ontology.kif 24780-24780	Cinema is a subclass of auditorium

appearance as argument number 2

(termFormat EnglishLanguage Cinema "cinema")	domainEnglishFormat.kif 41695-41695
(termFormat ChineseTraditionalLanguage Cinema "電影院")	domainEnglishFormat.kif 41696-41696
(termFormat ChineseLanguage Cinema "电影院")	domainEnglishFormat.kif 41697-41697

antecedent

(=>
    (instance ?C Cinema)
    (hasPurpose ?C
        (exists (?FILM ?P)
            (and
                (instance ?P Performance)
                (instance ?FILM MotionPicture)
                (patient ?P ?FILM)
                (eventLocated ?P ?C)))))

If X is an instance of cinema, then X has the purpose there exist Y, Z such that Z is an instance of performance, Y is an instance of motion picture, Y is a patient of Z, and Z is located at X