MotionPicture - Sigma Knowledge base Browser

appearance as argument number 1

(subclass MotionPicture Recording)	Merge.kif 1426-1426	Motion picture is a subclass of recording
(subclass MotionPicture Text)	Merge.kif 1427-1427	Motion picture is a subclass of text
(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 1428-1430	Motion picture is a subclass of text
(externalImage MotionPicture "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Animexample3edit.png")	pictureList.kif 2492-2492	Motion picture is a subclass of text
(externalImage MotionPicture "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Animhorse.gif")	pictureList.kif 2601-2601	Motion picture is a subclass of text

appearance as argument number 2

(subclass MotionPictureShot MotionPicture)	Mid-level-ontology.kif 16046-16046	Motion picture shot is a subclass of motion picture
(subclass MotionPictureScene MotionPicture)	Mid-level-ontology.kif 16071-16071	Motion picture scene is a subclass of motion picture
(subclass Documentary MotionPicture)	Mid-level-ontology.kif 16082-16082	Documentary is a subclass of motion picture
(termFormat EnglishLanguage MotionPicture "motion picture")	english_format.kif 876-876	Documentary is a subclass of motion picture

appearance as argument number 3

(domain directed 2 MotionPicture)

Mid-level-ontology.kif 22999-22999

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 1517-1530

If motion picture is an amenity in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of X (3) Z is an instance of media system (4) Z is located at Y (5) W is an instance of motion picture (6) the statement there exists V such that V is an instance of radiating light (7) Z is an instrument for V (8) W is a patient of V has the modal force of possibility

consequent

(=> (instance ?WALLPOST WallPost) (or (instance ?WALLPOST TextWallPost) (instance ?WALLPOST MotionPicture) (instance ?WALLPOST Photograph)))	Facebook.kif 282-287	If X is an instance of wall post, then At least one of the following holds: (1) X is an instance of text wall post (2) X is an instance of motion picture (3) X is an instance of photograph
(=> (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	If motion picture is an amenity in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of X (3) Z is an instance of media system (4) Z is located at Y (5) W is an instance of motion picture (6) the statement there exists V such that V is an instance of radiating light (7) Z is an instrument for V (8) W is a patient of V has the modal force of possibility
(=> (instance ?SHOT MotionPictureShot) (exists (?MOVIE) (and (instance ?MOVIE MotionPicture) (subsumesContentInstance ?MOVIE ?SHOT))))	Mid-level-ontology.kif 16051-16056	If X is an instance of motion picture shot, then there exists Y such that Y is an instance of motion picture and Y subsumes the content of X
(=> (instance ?S MotionPictureScene) (exists (?M) (and (instance ?M MotionPicture) (subsumesContentInstance ?M ?S))))	Mid-level-ontology.kif 16075-16080	If X is an instance of motion picture scene, then there exists Y such that Y is an instance of motion picture and Y subsumes the content of X
(=> (instance ?FM FilmMaking) (exists (?M ?F) (and (instance ?M MotionPicture) (result ?FM ?M) (instance ?F PhotographicFilm) (resource ?FM ?F))))	Mid-level-ontology.kif 22945-22952	If X is an instance of film making, then there exist Y, Z such that Y is an instance of motion picture, Y is a result of X, Z is an instance of photographic film, and Z is a resource for X
(=> (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 24865-24873	If X is an instance of cinema, then X has the purpose there exist Y, Z such that Z is an instance of performance, Y is an instance of motion picture, Y is a patient of Z, and Z is located at X

statement

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

Medicine.kif 4542-4547

There exist X, Y such that X is an instance of disseminating, Netflix Corp. is an agent of X, Y is a patient of X, and Y 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: