Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
MotionPictureShot(motion picture shot)
|  | scene, shot |
| appearance as argument number 1 |
|
|
| (subclass MotionPictureShot MotionPicture) | Mid-level-ontology.kif 16152-16152 | Motion picture shot is a subclass of motion picture |
| (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 16153-16155 | Motion picture shot is a subclass of motion picture |
| (externalImage MotionPictureShot "http://upload.wikimedia.org/wikipedia/ commons/ c/ c7/ Denise_Quinones_interview.JPG") | pictureList.kif 2704-2704 | Motion picture shot is a subclass of motion picture |
| (externalImage MotionPictureShot "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 78/ Keira_Knightley.jpg") | pictureList.kif 2858-2858 | Motion picture shot is a subclass of motion picture |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?SHOT MotionPictureShot) (exists (?MOVIE) (and (instance ?MOVIE MotionPicture) (subsumesContentInstance ?MOVIE ?SHOT)))) |
Mid-level-ontology.kif 16157-16162 | If X is an instance of motion picture shot, then there exists Y such that Y is an instance of motion picture and Y subsumes the content of X |
| (=> (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 16164-16175 | If X is an instance of motion picture shot, then there exists Y such that Y is an instance of camera, Y is an instrument for X, there doesn't exist Z such that Z is an instance of camera, equal Y, Z, and Z is an instrument for X |
|