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
-------------------------


(documentation MotionPicture ChineseLanguage "这是描述动作(并且其也可以具有音频或文本成分) 的 ContentBearingObject 。 这个 Class 涵盖电影,视频等。") chinese_format.kif 1654-1655
(documentation MotionPicture 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 1274-1276
(externalImage MotionPicture "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Animhorse.gif") pictureList.kif 2603-2603
(externalImage MotionPicture "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Animexample3edit.png") pictureList.kif 2494-2494
(subclass MotionPicture Recording) Merge.kif 1272-1272 Motion picture is a subclass of recording
(subclass MotionPicture Text) Merge.kif 1273-1273 Motion picture is a subclass of text

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


(subclass Documentary MotionPicture) Mid-level-ontology.kif 12329-12329 Documentary is a subclass of motion picture
(subclass MotionPictureScene MotionPicture) Mid-level-ontology.kif 12318-12318 Motion picture scene is a subclass of motion picture
(subclass MotionPictureShot MotionPicture) Mid-level-ontology.kif 12293-12293 Motion picture shot is a subclass of motion picture
(termFormat ChineseLanguage MotionPicture "动态映像") chinese_format.kif 837-837
(termFormat EnglishLanguage MotionPicture "motion picture") english_format.kif 881-881

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


(domain directed 2 MotionPicture) Mid-level-ontology.kif 18378-18378 The number 2 argument of directed is an instance of motion picture

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


(=>
    (roomAmenity ?ROOM MotionPicture)
    (exists (?R ?MS ?MP)
        (and
            (instance ?R ?ROOM)
            (instance ?MS MediaSystem)
            (located ?MS ?R)
            (instance ?MP MotionPicture)
            (modalAttribute
                (exists (?RL)
                    (and
                        (instance ?RL RadiatingLight)
                        (instrument ?RL ?MS)
                        (patient ?RL ?MP))) Possibility))))
Hotel.kif 1454-1467

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


(=>
    (instance ?FM FilmMaking)
    (exists (?M ?F)
        (and
            (instance ?M MotionPicture)
            (result ?FM ?M)
            (instance ?F PhotographicFilm)
            (resource ?FM ?F))))
Mid-level-ontology.kif 18325-18332
(=>
    (instance ?S MotionPictureScene)
    (exists (?M)
        (and
            (instance ?M MotionPicture)
            (subsumesContentInstance ?M ?S))))
Mid-level-ontology.kif 12322-12327
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))
Mid-level-ontology.kif 12298-12303
(=>
    (roomAmenity ?ROOM MotionPicture)
    (exists (?R ?MS ?MP)
        (and
            (instance ?R ?ROOM)
            (instance ?MS MediaSystem)
            (located ?MS ?R)
            (instance ?MP MotionPicture)
            (modalAttribute
                (exists (?RL)
                    (and
                        (instance ?RL RadiatingLight)
                        (instrument ?RL ?MS)
                        (patient ?RL ?MP))) Possibility))))
Hotel.kif 1454-1467


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners