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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MotionPicture
MotionPicture(motion picture)
3-D, 3D, Western, animated_cartoon, cartoon, celluloid, cinema, cinema_verite, cinematic, collage_film, coming_attraction, cut, dissolve, feature, feature_film, film, film_clip, film_noir, final_cut, flick, home_movie, horse_opera, jump, jump_cut, motion-picture_show, motion_picture, movie, moving-picture_show, moving_picture, newsreel, outtake, peepshow, pic, picture, picture_show, pilot, pilot_film, pilot_program, print, rough_cut, shoot-'em-up, short_subject, silent_movie, silent_picture, silents, skin_flick, slow_motion, spaghetti_Western, talkie, talking_picture...

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


s__documentation(s__MotionPicture,s__ChineseLanguage,'"这是描述动作(并且其也可以具有音频或文本成分) 的 ContentBearingObject 。 这个 Class 涵盖电影,视频等。"')

chinese_format.kif 1654-1655
s__documentation(s__MotionPicture,s__EnglishLanguage,'"A ContentBearingObject which depicts motion (and which may have an audio or text component as well). This Class covers films, videos, etc."')

Merge.kif 1308-1310
s__externalImage(s__MotionPicture,'"http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Animhorse.gif"')

pictureList.kif 2603-2603
s__externalImage(s__MotionPicture,'"http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Animexample3edit.png"')

pictureList.kif 2494-2494
s__instance(s__MotionPicture,s__Class)

s__subclass(s__MotionPicture,s__Recording)

s__instance(s__Recording,s__Class)

Merge.kif 1306-1306 Motion picture is a subclass of recording
s__subclass(s__MotionPicture,s__Text)

s__instance(s__Text,s__Class)

s__instance(s__MotionPicture,s__Class)

Merge.kif 1307-1307 Motion picture is a subclass of text

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


s__subclass(s__Documentary,s__MotionPicture)

s__instance(s__MotionPicture,s__Class)

s__instance(s__Documentary,s__Class)

Mid-level-ontology.kif 13775-13775 Documentary is a subclass of motion picture
s__instance(s__MotionPictureScene,s__Class)

s__subclass(s__MotionPictureScene,s__MotionPicture)

s__instance(s__MotionPicture,s__Class)

Mid-level-ontology.kif 13764-13764 Motion picture scene is a subclass of motion picture
s__instance(s__MotionPictureShot,s__Class)

s__subclass(s__MotionPictureShot,s__MotionPicture)

s__instance(s__MotionPicture,s__Class)

Mid-level-ontology.kif 13739-13739 Motion picture shot is a subclass of motion picture
s__termFormat(s__ChineseLanguage,s__MotionPicture,'"动态映像"')

chinese_format.kif 837-837
s__termFormat(s__EnglishLanguage,s__MotionPicture,'"motion picture"')

english_format.kif 881-881

appearance as argument number 3
-------------------------


s__domain(s__directed__m,n__2,s__MotionPicture)

Mid-level-ontology.kif 19719-19719 The number 2 argument of directed is an instance of motion picture

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1481-1494

consequent
-------------------------


( ! [V__FM] :
   ((s__instance(V__FM,s__FilmMaking) =>
       (( ? [V__M, V__F] :
           ((s__instance(V__M,s__MotionPicture) &
               s__result(V__FM,V__M)
             &
             s__instance(V__F,s__PhotographicFilm) &
             s__resource(V__FM,V__F))))))
)
)

Mid-level-ontology.kif 19665-19672
( ! [V__S] :
   ((s__instance(V__S,s__MotionPictureScene) =>
       (( ? [V__M] :
           ((s__instance(V__M,s__MotionPicture) &
               s__subsumesContentInstance(V__M,V__S))))))
   )
)

Mid-level-ontology.kif 13768-13773
( ! [V__SHOT] :
   ((s__instance(V__SHOT,s__MotionPictureShot) =>
       (( ? [V__MOVIE] :
           ((s__instance(V__MOVIE,s__MotionPicture) &
               s__subsumesContentInstance(V__MOVIE,V__SHOT))))))
   )
)

Mid-level-ontology.kif 13744-13749
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1481-1494


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