| OpticalDisc | |
| appearance as argument number 1 |
|
|
| (diskTypeForDrive OpticalDisc OpticalDiscDrive) | ComputerInput.kif 773-773 | diskTypeForDrive OpticalDisc and OpticalDiscDrive |
| (documentation OpticalDisc EnglishLanguage "This Class comprises several subclasses of disc-shaped data storage devices. Unless otherwise indicated, instances of all of these classes are generally consist of plastic discs incorporating one or more reflective layers of gold or aluminum, which is pitted by a laser to encode data.") | Media.kif 1129-1133 | diskTypeForDrive OpticalDisc and OpticalDiscDrive |
| (subclass OpticalDisc DigitalDataStorageDevice) | Media.kif 1128-1128 | OpticalDisc est une sous-classe de DigitalDataStorageDevice |
| appearance as argument number 2 |
|
|
| (subclass BluRayDisc OpticalDisc) | Media.kif 1189-1189 | BluRayDisc est une sous-classe de OpticalDisc |
| (subclass CompactDisc OpticalDisc) | Media.kif 1154-1154 | CompactDisc est une sous-classe de OpticalDisc |
| (subclass DVD OpticalDisc) | Media.kif 1257-1257 | DVD est une sous-classe de OpticalDisc |
| (termFormat EnglishLanguage OpticalDisc "optical disc") | domainEnglishFormat.kif 65264-65264 | DVD est une sous-classe de OpticalDisc |
| antecedent |
|
|
| (=> (and (instance ?X OpticalDisc) (attribute ?X MiniSizeDisc)) (width ?X (MeasureFn 80 Millimeter))) |
Media.kif 1245-1250 |
|
| (=> (and (instance ?X OpticalDisc) (attribute ?X StandardSizeDisc)) (width ?X (MeasureFn 120 Millimeter))) |
Media.kif 1232-1237 |
|
| (=> (instance ?OBJ OpticalDisc) (material Plastic ?OBJ)) |
Media.kif 1139-1141 |
|
| (=> (instance ?OBJ OpticalDisc) (or (material Gold ?OBJ) (material Aluminum ?OBJ))) |
Media.kif 1143-1147 |
|
| (=> (instance ?OBJ OpticalDisc) (shape ?OBJ Flat)) |
Media.kif 1135-1137 |
| consequent |
|
|
| (=> (attribute ?X MiniSizeDisc) (instance ?X OpticalDisc)) |
Media.kif 1242-1244 |
|
| (=> (attribute ?X StandardSizeDisc) (instance ?X OpticalDisc)) |
Media.kif 1229-1231 |
|
|
|
|