| appearance as argument number 1 |
|
| (subclass CompactDisc RemovableDigitalDataStorageDevice) | ComputerInput.kif 698-698 | Compact disc is a subclass of removable digital data storage device |
| (diskTypeForDrive CompactDisc CDDrive) | ComputerInput.kif 777-777 | 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 1149-1152 | Cd drive reads or writes compact disc |
| (subclass CompactDisc DigitalDataStorageDevice) | Media.kif 1153-1153 | Compact disc is a subclass of digital data storage device |
| (subclass CompactDisc OpticalDisc) | Media.kif 1154-1154 | Compact disc is a subclass of optical disc |
| appearance as argument number 2 |
|
|
| (subclass CDROM CompactDisc) | Media.kif 1169-1169 | CD-ROM is a subclass of compact disc |
| (subclass CDR CompactDisc) | Media.kif 1178-1178 | R is a subclass of compact disc |
| (subclass CDRW CompactDisc) | Media.kif 1184-1184 | CD-RW is a subclass of compact disc |
| (disjoint BluRayDisc CompactDisc) | Media.kif 1191-1191 | 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 1156-1166 | 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 1211-1225 | 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners