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 | 子類 ElectronicDataStorageDevice and DataStorageDevice |
appearance as argument number 2 |
(subclass DigitalDataStorageDevice ElectronicDataStorageDevice) | Media.kif 702-702 | 子類 DigitalDataStorageDevice and ElectronicDataStorageDevice |
(subclass RecordingTape ElectronicDataStorageDevice) | Media.kif 1325-1325 | 子類 RecordingTape and ElectronicDataStorageDevice |
(subclass TapeCassette ElectronicDataStorageDevice) | Media.kif 1303-1303 | 子類 TapeCassette and ElectronicDataStorageDevice |
(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 |