Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotionPictureShot
MotionPictureShot

appearance as argument number 1
-------------------------


(documentation MotionPictureShot EnglishLanguage "A unit of action in a MotionPicture, a MotionPictureShot is a sequence of images which are captured by a single camera without interruption.") Mid-level-ontology.kif 12319-12321
(externalImage MotionPictureShot "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 78/ Keira_Knightley.jpg") pictureList.kif 2860-2860
(externalImage MotionPictureShot "http://upload.wikimedia.org/wikipedia/ commons/ c/ c7/ Denise_Quinones_interview.JPG") pictureList.kif 2706-2706
(subclass MotionPictureShot MotionPicture) Mid-level-ontology.kif 12318-12318

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage MotionPictureShot "电影拍摄") domainEnglishFormat.kif 38680-38680
(termFormat ChineseTraditionalLanguage MotionPictureShot "電影拍攝") domainEnglishFormat.kif 38679-38679
(termFormat EnglishLanguage MotionPictureShot "motion picture shot") domainEnglishFormat.kif 38678-38678

antecedent
-------------------------


(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?C)
        (and
            (instance ?C Camera)
            (instrument ?SHOT ?C)
            (not
                (exists (?C2)
                    (and
                        (instance ?C2 Camera)
                        (not
                            (equal ?C ?C2))
                        (instrument ?SHOT ?C2)))))))
Mid-level-ontology.kif 12330-12341
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))
Mid-level-ontology.kif 12323-12328


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners