DigitalDataStorageDevice - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DigitalDataStorageDevice EnglishLanguage "An instance of DigitalDataStorageDevice is an ElectronicDataStorageDevice intended to be used for storing data (information) in some digital (discrete bit) encoding scheme designed for interpretation by computers.")	Media.kif 703-707
(subclass DigitalDataStorageDevice ElectronicDataStorageDevice)	Media.kif 702-702	Digital data storage device is a subclass of electronic data storage device

appearance as argument number 2

(subclass CompactDisc DigitalDataStorageDevice)	Media.kif 1153-1153	Compact disc is a subclass of digital data storage device
(subclass ComputerDisk DigitalDataStorageDevice)	ComputerInput.kif 657-657	Computer disk is a subclass of digital data storage device
(subclass DVD DigitalDataStorageDevice)	Media.kif 1254-1254	DVD is a subclass of digital data storage device
(subclass DigitalAudioTapeCassette DigitalDataStorageDevice)	Media.kif 1321-1321	Digital audio tape cassette is a subclass of digital data storage device
(subclass HardDiskDrive DigitalDataStorageDevice)	QoSontology.kif 77-77	Hard disk drive is a subclass of digital data storage device
(subclass InternalDigitalDataStorageDevice DigitalDataStorageDevice)	ComputerInput.kif 648-648	Internal digital data storage device is a subclass of digital data storage device
(subclass OpticalDisc DigitalDataStorageDevice)	Media.kif 1128-1128	Optical disc is a subclass of digital data storage device
(subclass ReadOnlyMemoryDataStorage DigitalDataStorageDevice)	Media.kif 766-766	Read only memory data storage is a subclass of digital data storage device
(subclass RemovableDigitalDataStorageDevice DigitalDataStorageDevice)	ComputerInput.kif 652-652	Removable digital data storage device is a subclass of digital data storage device
(subclass RewritableDataStorage DigitalDataStorageDevice)	Media.kif 739-739	Rewritable data storage is a subclass of digital data storage device
(subclass SolidStateDataStorageDevice DigitalDataStorageDevice)	ComputerInput.kif 789-789	Solid state data storage device is a subclass of digital data storage device
(subclass WriteOnceDataStorage DigitalDataStorageDevice)	Media.kif 711-711	Write once data storage is a subclass of digital data storage device
(termFormat EnglishLanguage DigitalDataStorageDevice "digital data storage device")	domainEnglishFormat.kif 64814-64814	Write once data storage is a subclass of digital data storage device

antecedent

(=>
    (and
        (instance ?OBJ DigitalDataStorageDevice)
        (part ?PART ?OBJ)
        (instance ?PART DigitalData))
    (exists (?SCHEME ?LIST ?NUM)
        (and
            (codeMapping ?SCHEME ?PART ?NUM)
            (represents ?LIST ?SCHEME)
            (=>
                (inList ?NUM ?LIST)
                (instance ?NUM BinaryNumber)))))

Media.kif 801-812

If an object is an instance of digital data storage device and a symbolic string is a part of the object and the symbolic string is an instance of digital data,
then there exist a code map, a list and an entity such that the symbolic string in the code map denotes the entity and the list expresses the code map and
- if the entity is a member of the list,
- then the entity is an instance of binary number

consequent

(=>
    (instance ?DATA DigitalData)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE DigitalDataStorageDevice)
            (located ?DATA ?DEVICE))))

QoSontology.kif 1855-1860

If a physical is an instance of digital data,
then there exists an object such that the object is an instance of digital data storage device and the physical is located at the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: