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


s__documentation(s__VideoRecording,s__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 13620-13622
s__externalImage(s__VideoRecording,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 0c/ DVD_Video_%28File_structure%29.jpg"')

pictureList.kif 8226-8226
s__externalImage(s__VideoRecording,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 1c/ YUV_UV_plane.png"')

pictureList.kif 6961-6961
s__externalImage(s__VideoRecording,'"http://upload.wikimedia.org/wikipedia/commons/ 2/ 27/ DV_tape_sizes_2.jpg"')

pictureList.kif 8222-8222
s__externalImage(s__VideoRecording,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 46/ Cd_jewel_case.jpg"')

pictureList.kif 8223-8223
s__externalImage(s__VideoRecording,'"http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Video_8_cassette.jpg"')

pictureList.kif 8219-8219
s__externalImage(s__VideoRecording,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 89/ MiniDV_cassette.jpg"')

pictureList.kif 8221-8221
s__externalImage(s__VideoRecording,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 8b/ Beta_tape_sizes_2.jpg"')

pictureList.kif 8220-8220
s__externalImage(s__VideoRecording,'"http://upload.wikimedia.org/wikipedia/commons/ b/ bd/ Aspect_ratios.png"')

pictureList.kif 8218-8218
s__externalImage(s__VideoRecording,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ DVD-Video_bottom-side.jpg"')

pictureList.kif 8225-8225
s__externalImage(s__VideoRecording,'"http://upload.wikimedia.org/wikipedia/commons/ d/ d7/ Bluray.png"')

pictureList.kif 8224-8224
s__subclass(s__VideoRecording,s__Recording)

s__instance(s__VideoRecording,s__SetOrClass)

s__instance(s__Recording,s__SetOrClass)

Mid-level-ontology.kif 13619-13619 Video recording is a subclass of recording

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


s__termFormat(s__ChineseLanguage,s__VideoRecording,'"视频录制"')

domainEnglishFormat.kif 61595-61595
s__termFormat(s__ChineseTraditionalLanguage,s__VideoRecording,'"視頻錄製"')

domainEnglishFormat.kif 61594-61594
s__termFormat(s__EnglishLanguage,s__VideoRecording,'"video recording"')

domainEnglishFormat.kif 61593-61593

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


s__domain(s__musicVideo__m,n__2,s__VideoRecording)

Music.kif 226-226 The number 2 argument of music video is an instance of video recording

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13632-13638
( ! [V__X] :
   ((s__instance(V__X,s__VideoRecording) =>
       (( ? [V__EV] :
           ((s__instance(V__EV,s__Process) &
               s__represents(V__X,V__EV)
             &
             s__capability(s__RadiatingLight,s__patient__m,V__X))))))
)
)

Mid-level-ontology.kif 13624-13630

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


( ! [V__GAME] :
   ((s__instance(V__GAME,s__VideoGame) =>
       (( ? [V__VIDEO] :
           ((s__instance(V__VIDEO,s__VideoRecording) &
               s__represents(V__VIDEO,V__GAME))))))
   )
)

Mid-level-ontology.kif 24913-24918
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13646-13661
No TPTP formula. May not be expressible in strict first order. Media.kif 1391-1411
No TPTP formula. May not be expressible in strict first order. Media.kif 1279-1305
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25265-25279
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25303-25311


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