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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotionPicture

Sigma KEE - MotionPicture
MotionPicture

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 1308-1310
(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 1306-1306
(subclass MotionPicture Text) Merge.kif 1307-1307

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


(subclass Documentary MotionPicture) Mid-level-ontology.kif 13774-13774
(subclass MotionPictureScene MotionPicture) Mid-level-ontology.kif 13763-13763
(subclass MotionPictureShot MotionPicture) Mid-level-ontology.kif 13738-13738
(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 19718-19718

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

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


(=>
    (instance ?FM FilmMaking)
    (exists (?M ?F)
        (and
            (instance ?M MotionPicture)
            (result ?FM ?M)
            (instance ?F PhotographicFilm)
            (resource ?FM ?F))))
Mid-level-ontology.kif 19664-19671
(=>
    (instance ?S MotionPictureScene)
    (exists (?M)
        (and
            (instance ?M MotionPicture)
            (subsumesContentInstance ?M ?S))))
Mid-level-ontology.kif 13767-13772
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))
Mid-level-ontology.kif 13743-13748
(=>
    (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 1481-1494


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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