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 25652-25654 | |
(subclass DataStorageDevice Device) | Mid-level-ontology.kif 25651-25651 | 子類 DataStorageDevice and Device |
appearance as argument number 2 |
(rangeSubclass AlbumCopiesFn DataStorageDevice) | Music.kif 932-932 | 範圍子類 AlbumCopiesFn and DataStorageDevice |
(subclass AudioDataStorageDevice DataStorageDevice) | Media.kif 817-817 | 子類 AudioDataStorageDevice and DataStorageDevice |
(subclass Blackboard DataStorageDevice) | Media.kif 1086-1086 | 子類 Blackboard and DataStorageDevice |
(subclass ElectronicDataStorageDevice DataStorageDevice) | Media.kif 684-684 | 子類 ElectronicDataStorageDevice and DataStorageDevice |
(subclass HardcopyDocument DataStorageDevice) | Media.kif 1032-1032 | 子類 HardcopyDocument and DataStorageDevice |
(subclass PrintedSheet DataStorageDevice) | Media.kif 1067-1067 | 子類 PrintedSheet and DataStorageDevice |
(subclass VideoDataStorageDevice DataStorageDevice) | Media.kif 837-837 | 子類 VideoDataStorageDevice and DataStorageDevice |
(subclass Whiteboard DataStorageDevice) | Mid-level-ontology.kif 25656-25656 | 子類 Whiteboard and DataStorageDevice |
(termFormat EnglishLanguage DataStorageDevice "data storage device") | domainEnglishFormat.kif 64745-64745 |
appearance as argument number 3 |
(domain stored 2 DataStorageDevice) | Mid-level-ontology.kif 14387-14387 | 域 stored, 2 and DataStorageDevice |
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) | Music.kif 931-931 | 域子類 AlbumCopiesFn, 2 and DataStorageDevice |
antecedent |
(=> (and (instance ?DSTORE DataStorageDevice) (attribute ?DSTORE Blank)) (not (exists (?DATA) (stored ?DATA ?DSTORE)))) |
Mid-level-ontology.kif 14407-14413 |
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 14367-14372 |