DataStorageDevice - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DataStorageDevice Device)	Mid-level-ontology.kif 28282-28282	Data storage device is a subclass of device
(documentation DataStorageDevice EnglishLanguage "An instance of DataStorageDevice is a Device intended to be used for storing data (information).")	Mid-level-ontology.kif 28283-28285	Data storage device is a subclass of device

appearance as argument number 2

(subclass Whiteboard DataStorageDevice)	Mid-level-ontology.kif 28287-28287	Whiteboard is a subclass of data storage device
(subclass ElectronicDataStorageDevice DataStorageDevice)	Media.kif 684-684	Electronic data storage device is a subclass of data storage device
(subclass AudioDataStorageDevice DataStorageDevice)	Media.kif 817-817	Audio data storage device is a subclass of data storage device
(subclass VideoDataStorageDevice DataStorageDevice)	Media.kif 837-837	Video data storage device is a subclass of data storage device
(subclass HardcopyDocument DataStorageDevice)	Media.kif 1032-1032	Hardcopy document is a subclass of data storage device
(subclass PrintedSheet DataStorageDevice)	Media.kif 1067-1067	Printed sheet is a subclass of data storage device
(subclass Blackboard DataStorageDevice)	Media.kif 1086-1086	Blackboard is a subclass of data storage device
(rangeSubclass AlbumCopiesFn DataStorageDevice)	Music.kif 934-934	The values returned by album copies function are subclasses of data storage device
(termFormat EnglishLanguage DataStorageDevice "data storage device")	domainEnglishFormat.kif 64746-64746	The values returned by album copies function are subclasses of data storage device

appearance as argument number 3

(domain dataStored 2 DataStorageDevice)	Mid-level-ontology.kif 15879-15879	The number 2 argument of data stored is an instance of data storage device
(domainSubclass AlbumCopiesFn 2 DataStorageDevice)	Music.kif 933-933	The number 2 argument of album copies function is a subclass of data storage device

antecedent

(=>
    (and
        (instance ?DSTORE DataStorageDevice)
        (attribute ?DSTORE Blank))
    (not
        (exists (?DATA)
            (dataStored ?DATA ?DSTORE))))

If X is an instance of data storage device and blank is an attribute of X, then there doesn't exist Y such that X is stored on Y

consequent

(=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (dataStored ?REC ?DS))))	Mid-level-ontology.kif 15861-15866	If X is a record of Y, then there exists Z such that Z is an instance of data storage device and Z is stored on X
(=> (instance ?DSAVE DataSaving) (exists (?DSTORE) (and (instance ?DSTORE DataStorageDevice) (resource ?DSAVE ?DSTORE))))	QoSontology.kif 2040-2045	If X is an instance of data saving, then there exists Y such that Y is an instance of data storage device and Y is a resource for X