| DVD | |
| appearance as argument number 1 |
|
|
| (diskTypeForDrive DVD DVDDrive) | ComputerInput.kif 781-781 | |
| (documentation DVD EnglishLanguage "An instance of DVD (Digital Versatile Disk) is a disc-shaped DigitalDataStorageDevice similar to a CompactDisc, but with a larger storage capacity.") | Media.kif 1252-1255 | |
| (subclass DVD DigitalDataStorageDevice) | Media.kif 1256-1256 | |
| (subclass DVD OpticalDisc) | Media.kif 1257-1257 |
| appearance as argument number 2 |
|
|
| (disjoint BluRayDisc DVD) | Media.kif 1192-1192 | |
| (termFormat EnglishLanguage DVD "DVD") | domainEnglishFormat.kif 64729-64729 |
| antecedent |
|
|
| (=> (and (instance ?X DVD) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 650 Nanometer))))) |
Media.kif 1259-1269 |
| consequent |
|
|
| (=> (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 |
|
|
|