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 14575-14577
(externalImage MotionPictureShot "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 78/ Keira_Knightley.jpg") pictureList.kif 2859-2859
(externalImage MotionPictureShot "http://upload.wikimedia.org/wikipedia/ commons/ c/ c7/ Denise_Quinones_interview.JPG") pictureList.kif 2705-2705
(subclass MotionPictureShot MotionPicture) Mid-level-ontology.kif 14574-14574

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


(termFormat ChineseLanguage MotionPictureShot "电影拍摄") domainEnglishFormat.kif 38765-38765
(termFormat ChineseTraditionalLanguage MotionPictureShot "電影拍攝") domainEnglishFormat.kif 38764-38764
(termFormat EnglishLanguage MotionPictureShot "motion picture shot") domainEnglishFormat.kif 38763-38763

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 14586-14597
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))
Mid-level-ontology.kif 14579-14584


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