DataStorageDevice
|
|
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 25619-25621 | |
(subclass DataStorageDevice Device) | Mid-level-ontology.kif 25618-25618 | DataStorageDevice は デバイス の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
(domain stored 2 DataStorageDevice) | Mid-level-ontology.kif 14360-14360 | stored の数値 2 引数は DataStorageDevice の instance では %n |
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) | Music.kif 931-931 | AlbumCopiesFn の数値 2 引数は DataStorageDevice のsubclass では %n |
antecedent |
(=> (and (instance ?DSTORE DataStorageDevice) (attribute ?DSTORE Blank)) (not (exists (?DATA) (stored ?DATA ?DSTORE)))) |
Mid-level-ontology.kif 14380-14386 |
|
consequent |
(=> (instance ?DSAVE DataSaving) (exists (?DSTORE) (and (instance ?DSTORE DataStorageDevice) (resource ?DSAVE ?DSTORE)))) |
QoSontology.kif 1914-1919 |
|
(=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (stored ?REC ?DS)))) |
Mid-level-ontology.kif 14340-14345 |