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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1393-1395
(documentation MotionPicture JapaneseLanguage "モーションを描写する %ContentBearingObject (およびオーディオまたはテキストコンポーネントもある場合がある)。 この Class は、映画、ビデオ などをカバーする。") japanese_format.kif 240-242
(documentation MotionPicture SpanishLanguage "Un ContentBearingObject que representa movimiento (y que puede tener un componente de audio o texto). Esta Class cubre películas, vídeos, etc.") spanish_format.kif 284-286
(externalImage MotionPicture "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Animhorse.gif") pictureList.kif 2602-2602
(externalImage MotionPicture "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Animexample3edit.png") pictureList.kif 2493-2493
(subclass MotionPicture Recording) Merge.kif 1391-1391 动态映像Recordingsubclass
(subclass MotionPicture Text) Merge.kif 1392-1392 动态映像文本subclass

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


(subclass Documentary MotionPicture) Mid-level-ontology.kif 14583-14583 记录动态映像subclass
(subclass MotionPictureScene MotionPicture) Mid-level-ontology.kif 14572-14572 电影场景动态映像subclass
(subclass MotionPictureShot MotionPicture) Mid-level-ontology.kif 14547-14547 电影拍摄动态映像subclass
(termFormat ChineseLanguage MotionPicture "动态映像") chinese_format.kif 837-837
(termFormat EnglishLanguage MotionPicture "motion picture") english_format.kif 876-876
(termFormat FrenchLanguage MotionPicture "motion picture") french_format.kif 513-513
(termFormat Hindi MotionPicture "chala-chitra") terms-hindi.txt 45-45
(termFormat ItalianLanguage MotionPicture "ImmagineDinamica") terms-it.txt 48-48
(termFormat JapaneseLanguage MotionPicture "映画") japanese_format.kif 2198-2198
(termFormat PortugueseLanguage MotionPicture "Filme") portuguese_format.kif 465-465
(termFormat cz MotionPicture "motion picture") terms-cz.txt 80-80
(termFormat ro MotionPicture "imagine dinamicã") relations-ro.kif 534-534
(termFormat tg MotionPicture "pelikula") terms-tg.txt 49-49

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


(domain directed 2 MotionPicture) Mid-level-ontology.kif 20720-20720 针对 的 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 1506-1519

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


(=>
    (instance ?C Cinema)
    (hasPurpose ?C
        (exists (?FILM ?P)
            (and
                (instance ?P Performance)
                (instance ?FILM MotionPicture)
                (patient ?P ?FILM)
                (eventLocated ?P ?C)))))
Mid-level-ontology.kif 22505-22513
(=>
    (instance ?FM FilmMaking)
    (exists (?M ?F)
        (and
            (instance ?M MotionPicture)
            (result ?FM ?M)
            (instance ?F PhotographicFilm)
            (resource ?FM ?F))))
Mid-level-ontology.kif 20666-20673
(=>
    (instance ?S MotionPictureScene)
    (exists (?M)
        (and
            (instance ?M MotionPicture)
            (subsumesContentInstance ?M ?S))))
Mid-level-ontology.kif 14576-14581
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))
Mid-level-ontology.kif 14552-14557
(=>
    (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 1506-1519

statement
-------------------------


(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))
Medicine.kif 4559-4564 有存在 过程 实体 这样 那个 过程传播instanceNetflix那个 过程agent那个 实体那个 过程patient那个 实体动态映像instance


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