![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(diskTypeForDrive OpticalDisc OpticalDiscDrive) | ComputerInput.kif 773-773 | OpticalDiscDrive reads or writes OpticalDisc |
(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 | |
(subclass OpticalDisc DigitalDataStorageDevice) | Media.kif 1128-1128 | OpticalDisc is a subclass of DigitalDataStorageDevice |
appearance as argument number 2 |
![]() |
(subclass BluRayDisc OpticalDisc) | Media.kif 1187-1187 | BluRayDisc is a subclass of OpticalDisc |
(subclass CompactDisc OpticalDisc) | Media.kif 1154-1154 | CompactDisc is a subclass of OpticalDisc |
(subclass DVD OpticalDisc) | Media.kif 1255-1255 | DVD is a subclass of OpticalDisc |
antecedent |
![]() |
consequent |
![]() |
(=> (attribute ?X MiniSizeDisc) (instance ?X OpticalDisc)) |
Media.kif 1240-1242 |
|
(=> (attribute ?X StandardSizeDisc) (instance ?X OpticalDisc)) |
Media.kif 1227-1229 |
|
![]() |
![]() |