DataStorageDevice - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__DataStorageDevice,s__EnglishLanguage,'An instance of DataStorageDevice is a Device intended to be used for storing data (information).')	Mid-level-ontology.kif 23456-23458
s__instance(s__Device,s__SetOrClass)	Mid-level-ontology.kif 23455-23455	DataStorageDevice is a subclass of device

appearance as argument number 2

s__rangeSubclass(s__AlbumCopiesFn__m,s__DataStorageDevice)	Music.kif 934-934	The values returned by album copies function are subclasses of DataStorageDevice
s__instance(s__DataStorageDevice,s__SetOrClass)	Media.kif 817-817	AudioDataStorageDevice is a subclass of DataStorageDevice
s__instance(s__DataStorageDevice,s__SetOrClass)	Media.kif 1090-1090	Blackboard is a subclass of DataStorageDevice
s__instance(s__DataStorageDevice,s__SetOrClass)	Media.kif 684-684	ElectronicDataStorageDevice is a subclass of DataStorageDevice
s__instance(s__DataStorageDevice,s__SetOrClass)	Media.kif 1032-1032	HardcopyDocument is a subclass of DataStorageDevice
s__instance(s__DataStorageDevice,s__SetOrClass)	Media.kif 1071-1071	PrintedSheet is a subclass of DataStorageDevice
s__instance(s__DataStorageDevice,s__SetOrClass)	Media.kif 837-837	VideoDataStorageDevice is a subclass of DataStorageDevice
s__instance(s__Whiteboard,s__SetOrClass)	Mid-level-ontology.kif 23460-23460	Whiteboard is a subclass of DataStorageDevice

appearance as argument number 3

s__domain(s__stored__m,2,s__DataStorageDevice)	Mid-level-ontology.kif 11977-11977	The number 2 argument of stored is an instance of DataStorageDevice
s__domainSubclass(s__AlbumCopiesFn__m,2,s__DataStorageDevice)	Music.kif 933-933	The number 2 argument of album copies function is a subclass of DataStorageDevice

antecedent

( ! [V__DSTORE] :
   ((s__instance(V__DSTORE,s__DataStorageDevice) &
       s__attribute(V__DSTORE,s__Blank))
     =>
     (~ (? [V__DATA] :
         s__stored(V__DATA,V__DSTORE))))
)

Mid-level-ontology.kif 11997-12003

consequent

( ! [V__DSAVE] : (s__instance(V__DSAVE,s__DataSaving) => (? [V__DSTORE] : (s__instance(V__DSTORE,s__DataStorageDevice) & s__resource(V__DSAVE,V__DSTORE)))) )	QoSontology.kif 1892-1897	If a process is an instance of data saving, then there exists an object such that the object is an instance of DataStorageDevice and the object is a resource for the process
( ! [V__REC,V__PHYS] : (s__record(V__REC,V__PHYS) => (? [V__DS] : (s__instance(V__DS,s__DataStorageDevice) & s__stored(V__REC,V__DS)))) )	Mid-level-ontology.kif 11957-11962	If a content bearing object is a record of a physical, then there exists a DataStorageDevice such that the DataStorageDevice is an instance of DataStorageDevice and the content bearing object is stored on the DataStorageDevice