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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OffshoreWellProductionShip

Sigma KEE - VideoRecording
VideoRecording
more pictures...

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
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ YUV_UV_plane.png") pictureList.kif 6961-6961
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ DV_tape_sizes_2.jpg") pictureList.kif 8223-8223
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Cd_jewel_case.jpg") pictureList.kif 8224-8224
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Video_8_cassette.jpg") pictureList.kif 8220-8220
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ MiniDV_cassette.jpg") pictureList.kif 8222-8222
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Beta_tape_sizes_2.jpg") pictureList.kif 8221-8221
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ Aspect_ratios.png") pictureList.kif 8219-8219
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ DVD-Video_bottom-side.jpg") pictureList.kif 8226-8226
(externalImage VideoRecording "http://upload.wikimedia.org/wikipedia/commons/ d/ d7/ Bluray.png") pictureList.kif 8225-8225
(subclass VideoRecording Recording) Mid-level-ontology.kif 11791-11791

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


(termFormat EnglishLanguage VideoRecording "video recording") domainEnglishFormat.kif 10700-10700

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


(domain musicVideo 2 VideoRecording) Music.kif 239-239

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