DataStorageDevice - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(rangeSubclass AlbumCopiesFn DataStorageDevice)	Music.kif 932-932	The values returned by album copies function are subclasses of data storage device
(subclass AudioDataStorageDevice DataStorageDevice)	Media.kif 817-817	Audio data storage device is a subclass of data storage device
(subclass Blackboard DataStorageDevice)	Media.kif 1086-1086	Blackboard 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 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 VideoDataStorageDevice DataStorageDevice)	Media.kif 837-837	Video data storage device is a subclass of data storage device
(subclass Whiteboard DataStorageDevice)	Mid-level-ontology.kif 26718-26718	Whiteboard is a subclass of data storage device
(termFormat EnglishLanguage DataStorageDevice "data storage device")	domainEnglishFormat.kif 64766-64766	Whiteboard is a subclass of data storage device

appearance as argument number 3

(domain stored 2 DataStorageDevice)	Mid-level-ontology.kif 15288-15288	The number 2 argument of stored is an instance of data storage device
(domainSubclass AlbumCopiesFn 2 DataStorageDevice)	Music.kif 931-931	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)
            (stored ?DATA ?DSTORE))))

Mid-level-ontology.kif 15308-15314

consequent

(=> (instance ?DSAVE DataSaving) (exists (?DSTORE) (and (instance ?DSTORE DataStorageDevice) (resource ?DSAVE ?DSTORE))))	QoSontology.kif 2020-2025	If a process is an instance of data saving, then there exists an object such that the object is an instance of data storage device and the object is a resource for the process
(=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (stored ?REC ?DS))))	Mid-level-ontology.kif 15268-15273	If a content bearing object is a record of a physical, then there exists a data storage device such that the data storage device is an instance of data storage device and the content bearing object is stored on the data storage device