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 涵盖电影,视频等。") Merge.kif 1426-1427
(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 1423-1425
(externalImage MotionPicture "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Animhorse.gif") pictureList.kif 2603-2603 externalImage 动态映像 and "http://upload.wikimedia.org/wikipedia/commons/e/e3/ Animhorse.gif"
(externalImage MotionPicture "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Animexample3edit.png") pictureList.kif 2494-2494 externalImage 动态映像 and "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Animexample3edit.png"
(subclass MotionPicture Recording) Merge.kif 1421-1421 动态映像Recordingsubclass
(subclass MotionPicture Text) Merge.kif 1422-1422 动态映像文本subclass

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


(subclass Documentary MotionPicture) Mid-level-ontology.kif 12329-12329 Documentary动态映像subclass
(subclass MotionPictureScene MotionPicture) Mid-level-ontology.kif 12318-12318 MotionPictureScene动态映像subclass
(subclass MotionPictureShot MotionPicture) Mid-level-ontology.kif 12293-12293 MotionPictureShot动态映像subclass
(termFormat ChineseLanguage MotionPicture "动态映像") chinese_format.kif 837-837 termFormat ChineseLanguage, 动态映像 and "动态映像"
(termFormat EnglishLanguage MotionPicture "motion picture") english_format.kif 572-572 termFormat EnglishLanguage, 动态映像 and "motion picture"
(termFormat JapaneseLanguage MotionPicture "映画") english_format.kif 573-573 termFormat JapaneseLanguage, 动态映像 and "映画"

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


(domain directed 2 MotionPicture) Mid-level-ontology.kif 18376-18376 directed 的 2 数量 是 动态映像instance

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

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


(=>
    (instance ?FM FilmMaking)
    (exists (?M ?F)
        (and
            (instance ?M MotionPicture)
            (result ?FM ?M)
            (instance ?F PhotographicFilm)
            (resource ?FM ?F))))
Mid-level-ontology.kif 18323-18330
(=>
    (instance ?S MotionPictureScene)
    (exists (?M)
        (and
            (instance ?M MotionPicture)
            (subsumesContentInstance ?MOVIE ?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 1450-1463


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