ElectronicDataStorageDevice |
appearance as argument number 1 |
(documentation ElectronicDataStorageDevice EnglishLanguage "An instance of ElectronicDataStorageDevice is a DataStorageDevice intended to be used for storing data (information) in some encoding scheme designed to be interpreted by electronic devices.") | Media.kif 685-688 | |
(subclass ElectronicDataStorageDevice DataStorageDevice) | Media.kif 684-684 |
appearance as argument number 2 |
(subclass DigitalDataStorageDevice ElectronicDataStorageDevice) | Media.kif 702-702 | |
(subclass RecordingTape ElectronicDataStorageDevice) | Media.kif 1325-1325 | |
(subclass TapeCassette ElectronicDataStorageDevice) | Media.kif 1303-1303 | |
(termFormat EnglishLanguage ElectronicDataStorageDevice "electronic data storage device") | domainEnglishFormat.kif 64812-64812 |
antecedent |
(=> (and (instance ?DSAVE DataSaving) (resource ?DSAVE ?RES) (instance ?RES ElectronicDataStorageDevice)) (exists (?DEV) (and (instance ?DEV ElectricDevice) (instrument ?DSAVE ?DEV) (holdsDuring (WhenFn ?DSAVE) (connected ?RES ?DEV))))) |
Media.kif 690-700 |