MotionPictureScene - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MotionPictureScene MotionPicture)	Mid-level-ontology.kif 16177-16177	Motion picture scene is a subclass of motion picture
(documentation MotionPictureScene EnglishLanguage "A discrete part of a MotionPicture which is set in the same time period and the same location.")	Mid-level-ontology.kif 16178-16179	Motion picture scene is a subclass of motion picture
(externalImage MotionPictureScene "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 34/ Martha_Vickers_in_Love_and_Learn_trailer.jpg")	pictureList.kif 2703-2703	Motion picture scene is a subclass of motion picture
(externalImage MotionPictureScene "http://upload.wikimedia.org/wikipedia/ commons/ b/ b3/ Ingrid_Bergman_in_Dr._Jekyll_and_Mr._Hyde_Trailer%282%29.jpg")	pictureList.kif 2857-2857	Motion picture scene is a subclass of motion picture

appearance as argument number 2

(termFormat EnglishLanguage MotionPictureScene "motion picture scene")	domainEnglishFormat.kif 38759-38759
(termFormat ChineseTraditionalLanguage MotionPictureScene "電影場景")	domainEnglishFormat.kif 38760-38760
(termFormat ChineseLanguage MotionPictureScene "电影场景")	domainEnglishFormat.kif 38761-38761

antecedent

(=>
    (instance ?S MotionPictureScene)
    (exists (?M)
        (and
            (instance ?M MotionPicture)
            (subsumesContentInstance ?M ?S))))

If X is an instance of motion picture scene, then there exists Y such that Y is an instance of motion picture and Y subsumes the content of X