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	DigitalDataStorageDevice ist eine teilkategorie von ElectronicDataStorageDevice

appearance as argument number 2

(subclass CompactDisc DigitalDataStorageDevice)	Media.kif 1153-1153	CompactDisc ist eine teilkategorie von DigitalDataStorageDevice
(subclass ComputerDisk DigitalDataStorageDevice)	ComputerInput.kif 657-657	ComputerDisk ist eine teilkategorie von DigitalDataStorageDevice
(subclass DVD DigitalDataStorageDevice)	Media.kif 1254-1254	DVD ist eine teilkategorie von DigitalDataStorageDevice
(subclass DigitalAudioTapeCassette DigitalDataStorageDevice)	Media.kif 1321-1321	DigitalAudioTapeCassette ist eine teilkategorie von DigitalDataStorageDevice
(subclass HardDiskDrive DigitalDataStorageDevice)	QoSontology.kif 77-77	HardDiskDrive ist eine teilkategorie von DigitalDataStorageDevice
(subclass InternalDigitalDataStorageDevice DigitalDataStorageDevice)	ComputerInput.kif 648-648	InternalDigitalDataStorageDevice ist eine teilkategorie von DigitalDataStorageDevice
(subclass OpticalDisc DigitalDataStorageDevice)	Media.kif 1128-1128	OpticalDisc ist eine teilkategorie von DigitalDataStorageDevice
(subclass ReadOnlyMemoryDataStorage DigitalDataStorageDevice)	Media.kif 766-766	ReadOnlyMemoryDataStorage ist eine teilkategorie von DigitalDataStorageDevice
(subclass RemovableDigitalDataStorageDevice DigitalDataStorageDevice)	ComputerInput.kif 652-652	RemovableDigitalDataStorageDevice ist eine teilkategorie von DigitalDataStorageDevice
(subclass RewritableDataStorage DigitalDataStorageDevice)	Media.kif 739-739	RewritableDataStorage ist eine teilkategorie von DigitalDataStorageDevice
(subclass SolidStateDataStorageDevice DigitalDataStorageDevice)	ComputerInput.kif 789-789	SolidStateDataStorageDevice ist eine teilkategorie von DigitalDataStorageDevice
(subclass WriteOnceDataStorage DigitalDataStorageDevice)	Media.kif 711-711	WriteOnceDataStorage ist eine teilkategorie von DigitalDataStorageDevice
(termFormat EnglishLanguage DigitalDataStorageDevice "digital data storage device")	domainEnglishFormat.kif 64766-64766

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

Wenn Object ist ein fall von DigitalDataStorageDevice %n{nicht} und SymbolicString ist ein teil von ** Object %n{nicht} und ** SymbolicString ist ein fall von DigitalData %n{nicht},
dann es gibt CodeMap, List, and und Entity um codeMapping ** CodeMap, ** SymbolicString and ** Entity und ** List drueckt ** CodeMap aus und
- wenn ** Entity ist ein Mitglied von ** List,
- dann ** Entity ist ein fall von BinaryNumber %n{nicht}

consequent

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

QoSontology.kif 1855-1860

Wenn Physical ist ein fall von DigitalData %n{nicht},
dann es gibt Object um ** Object ist ein fall von DigitalDataStorageDevice %n{nicht} und ** Physical befindet sich an %n{nicht}

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: