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