Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DVD(DVD) |  | DVD, videodisc, videodisk |
| appearance as argument number 1 |
|
|
| (diskTypeForDrive DVD DVDDrive) | ComputerInput.kif 797-797 | DVD drive reads or writes DVD |
| (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 1197-1200 | DVD drive reads or writes DVD |
| (subclass DVD DigitalDataStorageDevice) | Media.kif 1201-1201 | DVD is a subclass of digital data storage device |
| (subclass DVD OpticalDisc) | Media.kif 1202-1202 | DVD is a subclass of optical disc |
| appearance as argument number 2 |
|
|
| (disjoint BluRayDisc DVD) | Media.kif 1137-1137 | Blu ray disc is disjoint from DVD |
| (termFormat EnglishLanguage DVD "DVD") | domainEnglishFormat.kif 64738-64738 | Blu ray disc is disjoint from DVD |
| 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 1204-1214 | If X is an instance of DVD, Y is an instance of decoding, and X is a patient of Y, then there exists Z such that Z is an instance of radiating light and Z is an instrument for Y and the wavelength of Z is 650 nanometer(s) |
| 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 1222-1248 | If X is an instance of dvd player, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of DVD (3) X is an instrument for Z (4) Y is a patient of Z (5) there exist W, V (6) U such that W is an instance of video recording (7) V expresses W (8) V is a part of Y (9) U is an instance of radiating light (10) U is a subprocess of Z (11) X is an instrument for U (12) W is a patient of U or there exist T, S (13) R such that T is an instance of audio recording (14) S expresses T (15) S is a part of Y (16) R is an instance of radiating sound (17) R is a subprocess of Z (18) X is an instrument for R (19) T is a patient of R |
|