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 27517-27519
(subclass DataStorageDevice Device)	Mid-level-ontology.kif 27516-27516	DataStorageDevice はデバイスの subclass では

appearance as argument number 2

(rangeSubclass AlbumCopiesFn DataStorageDevice)	Music.kif 934-934	AlbumCopiesFn が返す値は DataStorageDevice の subclasses では
(subclass AudioDataStorageDevice DataStorageDevice)	Media.kif 817-817	AudioDataStorageDevice は DataStorageDevice の subclass では
(subclass Blackboard DataStorageDevice)	Media.kif 1086-1086	Blackboard は DataStorageDevice の subclass では
(subclass ElectronicDataStorageDevice DataStorageDevice)	Media.kif 684-684	ElectronicDataStorageDevice は DataStorageDevice の subclass では
(subclass HardcopyDocument DataStorageDevice)	Media.kif 1032-1032	HardcopyDocument は DataStorageDevice の subclass では
(subclass PrintedSheet DataStorageDevice)	Media.kif 1067-1067	PrintedSheet は DataStorageDevice の subclass では
(subclass VideoDataStorageDevice DataStorageDevice)	Media.kif 837-837	VideoDataStorageDevice は DataStorageDevice の subclass では
(subclass Whiteboard DataStorageDevice)	Mid-level-ontology.kif 27521-27521	Whiteboard は DataStorageDevice の subclass では
(termFormat EnglishLanguage DataStorageDevice "data storage device")	domainEnglishFormat.kif 64737-64737	Whiteboard は DataStorageDevice の subclass では

appearance as argument number 3

(domain stored 2 DataStorageDevice)	Mid-level-ontology.kif 15731-15731	stored の数値 2 引数は DataStorageDevice の instance では
(domainSubclass AlbumCopiesFn 2 DataStorageDevice)	Music.kif 933-933	AlbumCopiesFn の数値 2 引数は DataStorageDevice のsubclass では

antecedent

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

Mid-level-ontology.kif 15751-15757

consequent

(=> (instance ?DSAVE DataSaving) (exists (?DSTORE) (and (instance ?DSTORE DataStorageDevice) (resource ?DSAVE ?DSTORE))))	QoSontology.kif 2045-2050	工程は DataSaving の instance ではオブジェクトオブジェクトは DataStorageDevice の instance ではオブジェクトは工程の resource では
(=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (stored ?REC ?DS))))	Mid-level-ontology.kif 15711-15716	record コンテンツベアリングオブジェクト and 物理 DataStorageDevice DataStorageDevice は DataStorageDevice の instance では stored コンテンツベアリングオブジェクト and DataStorageDevice