Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  udaCanSignify
|
|
|
| appearance as argument number 1 |
|
|
| (diskTypeForDrive OpticalDisc OpticalDiscDrive) | ComputerInput.kif 789-789 | Optical disc drive reads or writes optical disc |
| (subclass OpticalDisc DigitalDataStorageDevice) | Media.kif 1073-1073 | Optical disc is a subclass of digital data storage device |
| (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 1074-1078 | Optical disc is a subclass of digital data storage device |
| appearance as argument number 2 |
|
|
| (subclass CompactDisc OpticalDisc) | Media.kif 1099-1099 | Compact disc is a subclass of optical disc |
| (subclass BluRayDisc OpticalDisc) | Media.kif 1134-1134 | Blu ray disc is a subclass of optical disc |
| (subclass DVD OpticalDisc) | Media.kif 1202-1202 | DVD is a subclass of optical disc |
| (termFormat EnglishLanguage OpticalDisc "optical disc") | domainEnglishFormat.kif 65273-65273 | DVD is a subclass of optical disc |
| antecedent |
|
|
| (=> (instance ?OBJ OpticalDisc) (shape ?OBJ Flat)) |
Media.kif 1080-1082 | If X is an instance of optical disc, then X is flat |
| (=> (instance ?OBJ OpticalDisc) (material Plastic ?OBJ)) |
Media.kif 1084-1086 | If X is an instance of optical disc, then X is made of plastic |
| (=> (instance ?OBJ OpticalDisc) (or (material Gold ?OBJ) (material Aluminum ?OBJ))) |
Media.kif 1088-1092 | If X is an instance of optical disc, then X is made of gold or X is made of aluminum |
| (=> (and (instance ?X OpticalDisc) (attribute ?X StandardSizeDisc)) (width ?X (MeasureFn 120 Millimeter))) |
Media.kif 1177-1182 | If X is an instance of optical disc and standard size disc is an attribute of X, then the width of X is 120 millimeter(s) |
| (=> (and (instance ?X OpticalDisc) (attribute ?X MiniSizeDisc)) (width ?X (MeasureFn 80 Millimeter))) |
Media.kif 1190-1195 | If X is an instance of optical disc and mini size disc is an attribute of X, then the width of X is 80 millimeter(s) |
| consequent |
|
|
| (=> (attribute ?X StandardSizeDisc) (instance ?X OpticalDisc)) |
Media.kif 1174-1176 | If standard size disc is an attribute of X, then X is an instance of optical disc |
| (=> (attribute ?X MiniSizeDisc) (instance ?X OpticalDisc)) |
Media.kif 1187-1189 | If mini size disc is an attribute of X, then X is an instance of optical disc |
|