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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MotionPicture
MotionPicture(motion 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 1403-1405
(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 2601-2601
(externalImage MotionPicture "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Animexample3edit.png") pictureList.kif 2492-2492
(subclass MotionPicture Recording) Merge.kif 1401-1401 Motion picture est une sous-classe de Recording
(subclass MotionPicture Text) Merge.kif 1402-1402 Motion picture est une sous-classe de texte

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


(subclass Documentary MotionPicture) Mid-level-ontology.kif 15954-15954 Documentary est une sous-classe de motion picture
(subclass MotionPictureScene MotionPicture) Mid-level-ontology.kif 15943-15943 MotionPictureScene est une sous-classe de motion picture
(subclass MotionPictureShot MotionPicture) Mid-level-ontology.kif 15918-15918 MotionPictureShot est une sous-classe de motion picture
(termFormat ChineseLanguage MotionPicture "动态映像") chinese_format.kif 837-837 MotionPictureShot est une sous-classe de motion picture
(termFormat EnglishLanguage MotionPicture "motion picture") english_format.kif 876-876 MotionPictureShot est une sous-classe de motion picture
(termFormat FrenchLanguage MotionPicture "motion picture") french_format.kif 513-513 MotionPictureShot est une sous-classe de motion picture
(termFormat Hindi MotionPicture "chala-chitra") terms-hindi.txt 45-45 MotionPictureShot est une sous-classe de motion picture
(termFormat ItalianLanguage MotionPicture "ImmagineDinamica") terms-it.txt 48-48 MotionPictureShot est une sous-classe de motion picture
(termFormat JapaneseLanguage MotionPicture "映画") japanese_format.kif 2198-2198 MotionPictureShot est une sous-classe de motion picture
(termFormat PortugueseLanguage MotionPicture "Filme") portuguese_format.kif 465-465 MotionPictureShot est une sous-classe de motion picture
(termFormat cz MotionPicture "motion picture") terms-cz.txt 80-80 MotionPictureShot est une sous-classe de motion picture
(termFormat de MotionPicture "Film") terms-de.txt 339-339 MotionPictureShot est une sous-classe de motion picture
(termFormat ro MotionPicture "imagine dinamicã") relations-ro.kif 534-534 MotionPictureShot est une sous-classe de motion picture
(termFormat tg MotionPicture "pelikula") terms-tg.txt 49-49 MotionPictureShot est une sous-classe de motion picture

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


(domain directed 2 MotionPicture) Mid-level-ontology.kif 22337-22337 Le nombre 2 argument de directed est une instance de 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 1517-1530

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 24146-24154
(=>
    (instance ?FM FilmMaking)
    (exists (?M ?F)
        (and
            (instance ?M MotionPicture)
            (result ?FM ?M)
            (instance ?F PhotographicFilm)
            (resource ?FM ?F))))
Mid-level-ontology.kif 22283-22290
(=>
    (instance ?S MotionPictureScene)
    (exists (?M)
        (and
            (instance ?M MotionPicture)
            (subsumesContentInstance ?M ?S))))
Mid-level-ontology.kif 15947-15952
(=>
    (instance ?SHOT MotionPictureShot)
    (exists (?MOVIE)
        (and
            (instance ?MOVIE MotionPicture)
            (subsumesContentInstance ?MOVIE ?SHOT))))
Mid-level-ontology.kif 15923-15928
(=>
    (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 1517-1530