Cinema - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Cinema "电影院")	domainEnglishFormat.kif 41734-41734
(termFormat ChineseTraditionalLanguage Cinema "電影院")	domainEnglishFormat.kif 41733-41733
(termFormat EnglishLanguage Cinema "cinema")	domainEnglishFormat.kif 41732-41732

antecedent

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

Mid-level-ontology.kif 22788-22796