|
|
   VideoRecording
|
|
|
| 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 12052-12054 | |
| (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 12051-12051 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage VideoRecording "video recording") | domainEnglishFormat.kif 10696-10696 |
| appearance as argument number 3 |
|
|
| (domain musicVideo 2 VideoRecording) | Music.kif 223-223 |
| antecedent |
|
|
| (=> (instance ?VIDEO VideoRecording) (modalAttribute (exists (?AUDIO) (and (instance ?AUDIO AudioRecording) (part ?AUDIO ?VIDEO))) Possibility)) |
Mid-level-ontology.kif 12064-12070 | |
| (=> (instance ?X VideoRecording) (exists (?EV) (and (instance ?EV Process) (represents ?X ?EV) (capability RadiatingLight patient ?X)))) |
Mid-level-ontology.kif 12056-12062 |
| consequent |
|
|
| (=> (instance ?GAME VideoGame) (exists (?VIDEO) (and (instance ?VIDEO VideoRecording) (represents ?VIDEO ?GAME)))) |
Mid-level-ontology.kif 23713-23718 | |
| (=> (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 12078-12093 | |
| (=> (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 24136-24150 | |
| (=> (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 24197-24205 |
|
|
|
