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

Formal Language: 


KB Term:  Term intersection
English Word: 

  VideoRecording

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 15800-15802
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ DVD_Video_%28File_structure%29.jpg") pictureList.kif 8224-8224
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ YUV_UV_plane.png") pictureList.kif 6959-6959
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ DV_tape_sizes_2.jpg") pictureList.kif 8220-8220
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Cd_jewel_case.jpg") pictureList.kif 8221-8221
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Video_8_cassette.jpg") pictureList.kif 8217-8217
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ MiniDV_cassette.jpg") pictureList.kif 8219-8219
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Beta_tape_sizes_2.jpg") pictureList.kif 8218-8218
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ Aspect_ratios.png") pictureList.kif 8216-8216
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ DVD_Video_bottom_side.jpg") pictureList.kif 8223-8223
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d7/ Bluray.png") pictureList.kif 8222-8222
(subclass VideoRecording Recording) Mid-level-ontology.kif 15799-15799 Video recording is a subclass of recording

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


(termFormat ChineseLanguage VideoRecording "视频录制") domainEnglishFormat.kif 61622-61622
(termFormat ChineseTraditionalLanguage VideoRecording "視頻錄製") domainEnglishFormat.kif 61621-61621
(termFormat EnglishLanguage VideoRecording "video recording") domainEnglishFormat.kif 61620-61620

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


(domain musicVideo 2 VideoRecording) Music.kif 229-229 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 15812-15818
(=>
    (instance ?X VideoRecording)
    (exists (?EV)
        (and
            (instance ?EV Process)
            (represents ?X ?EV)
            (capability RadiatingLight patient ?X))))
Mid-level-ontology.kif 15804-15810

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


(=>
    (instance ?GAME VideoGame)
    (exists (?VIDEO)
        (and
            (instance ?VIDEO VideoRecording)
            (represents ?VIDEO ?GAME))))
Mid-level-ontology.kif 27774-27779
(=>
    (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 15826-15841
(=>
    (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 1389-1409
(=>
    (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 1277-1303
(=>
    (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 28128-28142
(=>
    (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 28166-28174


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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