Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CompactDisc(compact disc) |  | CD, audio_CD, audio_compact_disc, compact_disc, compact_disk |
| appearance as argument number 1 |
|
|
| (subclass CompactDisc RemovableDigitalDataStorageDevice) | ComputerInput.kif 714-714 | Compact disc is a subclass of removable digital data storage device |
| (diskTypeForDrive CompactDisc CDDrive) | ComputerInput.kif 793-793 | Cd drive reads or writes compact disc |
| (documentation CompactDisc EnglishLanguage "An instance of CompactDisc is a flat, disc-shaped DigitalDataStorageDevice that has a reflective medium on at least one side, in which a laser is used to write and read bits of data.") | Media.kif 1094-1097 | Cd drive reads or writes compact disc |
| (subclass CompactDisc DigitalDataStorageDevice) | Media.kif 1098-1098 | Compact disc is a subclass of digital data storage device |
| (subclass CompactDisc OpticalDisc) | Media.kif 1099-1099 | Compact disc is a subclass of optical disc |
| appearance as argument number 2 |
|
|
| (subclass CDROM CompactDisc) | Media.kif 1114-1114 | CD-ROM is a subclass of compact disc |
| (subclass CDR CompactDisc) | Media.kif 1123-1123 | R is a subclass of compact disc |
| (subclass CDRW CompactDisc) | Media.kif 1129-1129 | CD-RW is a subclass of compact disc |
| (disjoint BluRayDisc CompactDisc) | Media.kif 1136-1136 | Blu ray disc is disjoint from compact disc |
| (termFormat EnglishLanguage CompactDisc "compact disc") | domainEnglishFormat.kif 64671-64671 | Blu ray disc is disjoint from compact disc |
| antecedent |
|
|
| (=> (and (instance ?X CompactDisc) (instance ?READ Decoding) (patient ?READ ?X)) (exists (?LASER) (and (instance ?LASER RadiatingLight) (instrument ?READ ?LASER) (wavelength ?LASER (MeasureFn 780 Nanometer))))) |
Media.kif 1101-1111 | If X is an instance of compact disc, 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 780 nanometer(s) |
| consequent |
|
|
| (=> (instance ?PLAYER AudioCDSystem) (hasPurpose ?PLAYER (exists (?DISC ?AUDIO ?RS ?DIGITAL ?PROC) (and (instrument ?PROC ?PLAYER) (patient ?PROC ?DISC) (instance ?DISC CompactDisc) (instance ?AUDIO AudioRecording) (represents ?DIGITAL ?AUDIO) (part ?DIGITAL ?DISC) (instance ?RS RadiatingSound) (subProcess ?RS ?PROC) (instrument ?RS ?PLAYER) (patient ?RS ?DISC))))) |
Media.kif 1156-1170 | If X is an instance of cd player, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that X is an instrument for U (3) Y is a patient of U (4) Y is an instance of compact disc (5) Z is an instance of audio recording (6) V expresses Z (7) V is a part of Y (8) W is an instance of radiating sound (9) W is a subprocess of U (10) X is an instrument for W (11) Y is a patient of W |
|