| 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 27519-27521 | |
| (subclass DataStorageDevice Device) | Mid-level-ontology.kif 27518-27518 |
| appearance as argument number 2 |
|
|
| (rangeSubclass AlbumCopiesFn DataStorageDevice) | Music.kif 934-934 | |
| (subclass AudioDataStorageDevice DataStorageDevice) | Media.kif 817-817 | |
| (subclass Blackboard DataStorageDevice) | Media.kif 1086-1086 | |
| (subclass ElectronicDataStorageDevice DataStorageDevice) | Media.kif 684-684 | |
| (subclass HardcopyDocument DataStorageDevice) | Media.kif 1032-1032 | |
| (subclass PrintedSheet DataStorageDevice) | Media.kif 1067-1067 | |
| (subclass VideoDataStorageDevice DataStorageDevice) | Media.kif 837-837 | |
| (subclass Whiteboard DataStorageDevice) | Mid-level-ontology.kif 27523-27523 | |
| (termFormat EnglishLanguage DataStorageDevice "data storage device") | domainEnglishFormat.kif 64737-64737 |
| appearance as argument number 3 |
|
|
| (domain stored 2 DataStorageDevice) | Mid-level-ontology.kif 15731-15731 | |
| (domainSubclass AlbumCopiesFn 2 DataStorageDevice) | Music.kif 933-933 |
| 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 | |
| (=> (record ?REC ?PHYS) (exists (?DS) (and (instance ?DS DataStorageDevice) (stored ?REC ?DS)))) |
Mid-level-ontology.kif 15711-15716 |
|
|
|