| OpticalDisc | |
| appearance as argument number 1 |
|
|
| (diskTypeForDrive OpticalDisc OpticalDiscDrive) | ComputerInput.kif 802-802 | 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 1133-1137 | |
| (subclass OpticalDisc DigitalDataStorageDevice) | Media.kif 1132-1132 | subclass OpticalDisc and DigitalDataStorageDevice |
| appearance as argument number 2 |
|
|
| (subclass BluRayDisc OpticalDisc) | Media.kif 1191-1191 | subclass BluRayDisc and OpticalDisc |
| (subclass CompactDisc OpticalDisc) | Media.kif 1158-1158 | subclass CompactDisc and OpticalDisc |
| (subclass DVD OpticalDisc) | Media.kif 1259-1259 | subclass DVD and OpticalDisc |
| antecedent |
|
|
| (=> (and (instance ?X OpticalDisc) (attribute ?X MiniSizeDisc)) (width ?X (MeasureFn 80 Millimeter))) |
Media.kif 1247-1252 |
|
| (=> (and (instance ?X OpticalDisc) (attribute ?X StandardSizeDisc)) (width ?X (MeasureFn 120 Millimeter))) |
Media.kif 1234-1239 |
|
| (=> (instance ?OBJ OpticalDisc) (material Plastic ?OBJ)) |
Media.kif 1143-1145 | |
| (=> (instance ?OBJ OpticalDisc) (or (material Gold ?OBJ) (material Aluminum ?OBJ))) |
Media.kif 1147-1151 | |
| (=> (instance ?OBJ OpticalDisc) (shape ?OBJ Flat)) |
Media.kif 1139-1141 |
| consequent |
|
|
| (=> (attribute ?X MiniSizeDisc) (instance ?X OpticalDisc)) |
Media.kif 1244-1246 |
|
| (=> (attribute ?X StandardSizeDisc) (instance ?X OpticalDisc)) |
Media.kif 1231-1233 |
|
|
|