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 11329-11331
(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 11328-11328

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


(termFormat ChineseLanguage MotionPictureShot "电影拍摄") domainEnglishFormat.kif 38748-38748
(termFormat ChineseTraditionalLanguage MotionPictureShot "電影拍攝") domainEnglishFormat.kif 38747-38747
(termFormat EnglishLanguage MotionPictureShot "motion picture shot") domainEnglishFormat.kif 38746-38746

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 11340-11351
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))
Mid-level-ontology.kif 11333-11338


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