MotionPicture - Sigma Knowledge base Browser

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 1386-1388
(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 1384-1384	Motion picture is a subclass of recording
(subclass MotionPicture Text)	Merge.kif 1385-1385	Motion picture is a subclass of text

appearance as argument number 2

(subclass Documentary MotionPicture)	Mid-level-ontology.kif 15511-15511	Documentary is a subclass of motion picture
(subclass MotionPictureScene MotionPicture)	Mid-level-ontology.kif 15500-15500	Motion picture scene is a subclass of motion picture
(subclass MotionPictureShot MotionPicture)	Mid-level-ontology.kif 15475-15475	Motion picture shot is a subclass of motion picture
(termFormat ChineseLanguage MotionPicture "动态映像")	chinese_format.kif 837-837	Motion picture shot is a subclass of motion picture
(termFormat EnglishLanguage MotionPicture "motion picture")	english_format.kif 876-876	Motion picture shot is a subclass of motion picture
(termFormat FrenchLanguage MotionPicture "motion picture")	french_format.kif 513-513	Motion picture shot is a subclass of motion picture
(termFormat Hindi MotionPicture "chala-chitra")	terms-hindi.txt 45-45	Motion picture shot is a subclass of motion picture
(termFormat ItalianLanguage MotionPicture "ImmagineDinamica")	terms-it.txt 48-48	Motion picture shot is a subclass of motion picture
(termFormat JapaneseLanguage MotionPicture "映画")	japanese_format.kif 2198-2198	Motion picture shot is a subclass of motion picture
(termFormat PortugueseLanguage MotionPicture "Filme")	portuguese_format.kif 465-465	Motion picture shot is a subclass of motion picture
(termFormat cz MotionPicture "motion picture")	terms-cz.txt 80-80	Motion picture shot is a subclass of motion picture
(termFormat de MotionPicture "Film")	terms-de.txt 339-339	Motion picture shot is a subclass of motion picture
(termFormat ro MotionPicture "imagine dinamicã")	relations-ro.kif 534-534	Motion picture shot is a subclass of motion picture
(termFormat tg MotionPicture "pelikula")	terms-tg.txt 49-49	Motion picture shot is a subclass of motion picture

appearance as argument number 3

(domain directed 2 MotionPicture)

Mid-level-ontology.kif 21809-21809

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

If motion picture is an amenity in a kind of hotel unit,
then there exist an object, a physical and an entity such that the object is an instance of a kind of hotel unit and the physical is an instance of media system and the physical is located at the object and the entity is an instance of motion picture and the statement there exists the objectL such that the objectL is an instance of radiating light and the physical is an instrument for the objectL and the entity is a patient of the objectL has the modal force of possibility

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 23619-23627	If a physical is an instance of cinema, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of performance and the entity is an instance of motion picture and the entity is a patient of the other entity and the other entity is located at the physical
(=> (instance ?FM FilmMaking) (exists (?M ?F) (and (instance ?M MotionPicture) (result ?FM ?M) (instance ?F PhotographicFilm) (resource ?FM ?F))))	Mid-level-ontology.kif 21755-21762	If a process is an instance of film making, then there exist an entity and an object such that the entity is an instance of motion picture and the entity is a result of the process and the object is an instance of photographic film and the object is a resource for the process
(=> (instance ?S MotionPictureScene) (exists (?M) (and (instance ?M MotionPicture) (subsumesContentInstance ?M ?S))))	Mid-level-ontology.kif 15504-15509	If a content bearing physical is an instance of motion picture scene, then there exists another content bearing physical such that the other content bearing physical is an instance of motion picture and the other content bearing physical subsumes the content of the content bearing physical
(=> (instance ?SHOT MotionPictureShot) (exists (?MOVIE) (and (instance ?MOVIE MotionPicture) (subsumesContentInstance ?MOVIE ?SHOT))))	Mid-level-ontology.kif 15480-15485	If a content bearing physical is an instance of motion picture shot, then there exists another content bearing physical such that the other content bearing physical is an instance of motion picture and the other content bearing physical subsumes the content of the content bearing physical
(=> (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	If motion picture is an amenity in a kind of hotel unit, then there exist an object, a physical and an entity such that the object is an instance of a kind of hotel unit and the physical is an instance of media system and the physical is located at the object and the entity is an instance of motion picture and the statement there exists the objectL such that the objectL is an instance of radiating light and the physical is an instrument for the objectL and the entity is a patient of the objectL has the modal force of possibility

statement

(exists (?D ?M)
    (and
        (instance ?D Disseminating)
        (agent ?D Netflix)
        (patient ?D ?M)
        (instance ?M MotionPicture)))

Medicine.kif 4547-4552

There exist a process and an entity such that the process is an instance of disseminating and Netflix Corp. is an agent of the process and the entity is a patient of the process and the entity is an instance of motion picture

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

KB Term:			Term intersection

English Word: