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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VideoRecording
VideoRecording(video recording)
more pictures...
video, video_recording

appearance as argument number 1
-------------------------


(documentation VideoRecording EnglishLanguage "A representation of video on some medium such as film, videotape or DVD. Instances of this class are also commonly instances of AudioRecording.") Mid-level-ontology.kif 11792-11794
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ DVD_Video_%28File_structure%29.jpg") pictureList.kif 8227-8227 "http://upload.wikimedia.org/wikipedia/commons/0/0c/ DVD_Video_%28File_structure%29.jpg" is a URL depicting video recording
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ YUV_UV_plane.png") pictureList.kif 6961-6961 "http://upload.wikimedia.org/wikipedia/commons/1/1c/ YUV_UV_plane.png" is a URL depicting video recording
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ DV_tape_sizes_2.jpg") pictureList.kif 8223-8223 "http://upload.wikimedia.org/wikipedia/commons/2/27/ DV_tape_sizes_2.jpg" is a URL depicting video recording
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Cd_jewel_case.jpg") pictureList.kif 8224-8224 "http://upload.wikimedia.org/wikipedia/commons/4/46/ Cd_jewel_case.jpg" is a URL depicting video recording
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Video_8_cassette.jpg") pictureList.kif 8220-8220 "http://upload.wikimedia.org/wikipedia/commons/4/49/ Video_8_cassette.jpg" is a URL depicting video recording
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ MiniDV_cassette.jpg") pictureList.kif 8222-8222 "http://upload.wikimedia.org/wikipedia/commons/8/89/ MiniDV_cassette.jpg" is a URL depicting video recording
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Beta_tape_sizes_2.jpg") pictureList.kif 8221-8221 "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Beta_tape_sizes_2.jpg" is a URL depicting video recording
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ Aspect_ratios.png") pictureList.kif 8219-8219 "http://upload.wikimedia.org/wikipedia/commons/b/bd/ Aspect_ratios.png" is a URL depicting video recording
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ DVD-Video_bottom-side.jpg") pictureList.kif 8226-8226 "http://upload.wikimedia.org/wikipedia/commons/d/d0/ DVD-Video_bottom-side.jpg" is a URL depicting video recording
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d7/ Bluray.png") pictureList.kif 8225-8225 "http://upload.wikimedia.org/wikipedia/commons/d/d7/ Bluray.png" is a URL depicting video recording
(subclass VideoRecording Recording) Mid-level-ontology.kif 11791-11791 Video recording is a subclass of recording

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


(termFormat EnglishLanguage VideoRecording "video recording") domainEnglishFormat.kif 10700-10700 "video recording" is the printable form of video recording in english language

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


(domain musicVideo 2 VideoRecording) Music.kif 239-239 The number 2 argument of music video is an instance of video recording

antecedent
-------------------------


(=>
    (instance ?VIDEO VideoRecording)
    (modalAttribute
        (exists (?AUDIO)
            (and
                (instance ?AUDIO AudioRecording)
                (part ?AUDIO ?VIDEO))) Possibility))
Mid-level-ontology.kif 11804-11810
(=>
    (instance ?X VideoRecording)
    (exists (?EV)
        (and
            (instance ?EV Process)
            (represents ?X ?EV)
            (capability RadiatingLight patient ?X))))
Mid-level-ontology.kif 11796-11802

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


(=>
    (instance ?GAME VideoGame)
    (exists (?VIDEO)
        (and
            (instance ?VIDEO VideoRecording)
            (represents ?VIDEO ?GAME))))
Mid-level-ontology.kif 23352-23357
(=>
    (instance ?PLAYER MediaSystem)
    (hasPurpose ?PLAYER
        (or
            (exists (?VIDEO ?RL)
                (and
                    (instance ?VIDEO VideoRecording)
                    (instance ?RL RadiatingLight)
                    (patient ?RL ?VIDEO)
                    (instrument ?RL ?PLAYER)))
            (exists (?AUDIO ?RS)
                (and
                    (instance ?AUDIO AudioRecording)
                    (instance ?RS RadiatingSound)
                    (patient ?RS ?AUDIO)
                    (instrument ?RS ?PLAYER))))))
Mid-level-ontology.kif 11818-11833
(=>
    (instance ?VCR VCRSystem)
    (hasPurpose ?VCR
        (exists (?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS)
            (and
                (instance ?VHS VHSCassette)
                (instrument ?PROC ?VCR)
                (patient ?PROC ?VHS)
                (instance ?VIDEO VideoRecording)
                (represents ?AVIDEO ?VIDEO)
                (part ?VIDEO ?VHS)
                (instance ?AUDIO AudioRecording)
                (represents ?AAUDIO ?AUDIO)
                (part ?AAUDIO ?AVIDEO)
                (part ?AUDIO ?VHS)
                (instance ?RL RadiatingLight)
                (patient ?RL ?VIDEO)
                (subProcess ?RL ?PROC)
                (instance ?RS RadiatingSound)
                (patient ?RS ?AUDIO)
                (subProcess ?RS ?PROC)))))
Media.kif 1391-1411
(=>
    (instance ?X DVDSystem)
    (hasPurpose ?X
        (exists (?DVD ?PROC)
            (and
                (instance ?DVD DVD)
                (instrument ?PROC ?X)
                (patient ?PROC ?DVD)
                (or
                    (exists (?VIDEO ?DVIDEO ?RL)
                        (and
                            (instance ?VIDEO VideoRecording)
                            (represents ?DVIDEO ?VIDEO)
                            (part ?DVIDEO ?DVD)
                            (instance ?RL RadiatingLight)
                            (subProcess ?RL ?PROC)
                            (instrument ?RL ?X)
                            (patient ?RL ?VIDEO)))
                    (exists (?AUDIO ?DAUDIO ?RS)
                        (and
                            (instance ?AUDIO AudioRecording)
                            (represents ?DAUDIO ?AUDIO)
                            (part ?DAUDIO ?DVD)
                            (instance ?RS RadiatingSound)
                            (subProcess ?RS ?PROC)
                            (instrument ?RS ?X)
                            (patient ?RS ?AUDIO))))))))
Media.kif 1279-1305
(=>
    (instance ?X MultimediaProjector)
    (hasPurpose ?X
        (exists (?RS ?SCREEN ?VIDEO)
            (and
                (instance ?RS RadiatingLight)
                (instrument ?RS ?X)
                (patient ?RS ?VIDEO)
                (or
                    (instance ?VIDEO VideoRecording)
                    (instance ?VIDEO Image))
                (destination ?RS ?SCREEN)
                (instance ?SCREEN Artifact)
                (attribute ?SCREEN Flat)
                (not
                    (connected ?X ?SCREEN))))))
Mid-level-ontology.kif 23775-23789
(=>
    (instance ?X VideoDisplay)
    (hasPurpose ?X
        (exists (?RL ?VIDEO)
            (and
                (instance ?RL RadiatingLight)
                (instance ?VIDEO VideoRecording)
                (patient ?RL ?VIDEO)
                (instrument ?RL ?X)))))
Mid-level-ontology.kif 23836-23844


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