| 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 23549-23551 | |
| (subclass DataStorageDevice Device) | Mid-level-ontology.kif 23548-23548 | subclass DataStorageDevice and Device |
| appearance as argument number 2 |
|
|
| (rangeSubclass AlbumCopiesFn DataStorageDevice) | Music.kif 928-928 | rangeSubclass AlbumCopiesFn and DataStorageDevice |
| (subclass AudioDataStorageDevice DataStorageDevice) | Media.kif 817-817 | subclass AudioDataStorageDevice and DataStorageDevice |
| (subclass Blackboard DataStorageDevice) | Media.kif 1090-1090 | subclass Blackboard and DataStorageDevice |
| (subclass ElectronicDataStorageDevice DataStorageDevice) | Media.kif 684-684 | subclass ElectronicDataStorageDevice and DataStorageDevice |
| (subclass HardcopyDocument DataStorageDevice) | Media.kif 1032-1032 | subclass HardcopyDocument and DataStorageDevice |
| (subclass PrintedSheet DataStorageDevice) | Media.kif 1071-1071 | subclass PrintedSheet and DataStorageDevice |
| (subclass VideoDataStorageDevice DataStorageDevice) | Media.kif 837-837 | subclass VideoDataStorageDevice and DataStorageDevice |
| (subclass Whiteboard DataStorageDevice) | Mid-level-ontology.kif 23553-23553 | subclass Whiteboard and DataStorageDevice |
| appearance as argument number 3 |
|
|
| (domain stored 2 DataStorageDevice) | Mid-level-ontology.kif 11983-11983 | domain stored, 2 and DataStorageDevice |
| (domainSubclass AlbumCopiesFn 2 DataStorageDevice) | Music.kif 927-927 | domainSubclass AlbumCopiesFn, 2 and DataStorageDevice |
| antecedent |
|
|
| (=> (and (instance ?DSTORE DataStorageDevice) (attribute ?DSTORE Blank)) (not (exists (?DATA) (stored ?DATA ?DSTORE)))) |
Mid-level-ontology.kif 12003-12009 |
| consequent |
|
|
|
|
|