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 15919-15921
(externalImage MotionPictureShot "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 78/ Keira_Knightley.jpg") pictureList.kif 2858-2858
(externalImage MotionPictureShot "http://upload.wikimedia.org/wikipedia/ commons/ c/ c7/ Denise_Quinones_interview.JPG") pictureList.kif 2704-2704
(subclass MotionPictureShot MotionPicture) Mid-level-ontology.kif 15918-15918

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


(termFormat ChineseLanguage MotionPictureShot "电影拍摄") domainEnglishFormat.kif 38774-38774
(termFormat ChineseTraditionalLanguage MotionPictureShot "電影拍攝") domainEnglishFormat.kif 38773-38773
(termFormat EnglishLanguage MotionPictureShot "motion picture shot") domainEnglishFormat.kif 38772-38772

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 15930-15941
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))
Mid-level-ontology.kif 15923-15928


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