Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DigitalDataStorageDevice
DigitalDataStorageDevice

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 DigitalDataStorageDeviceElectronicDataStorageDevicesubclass

appearance as argument number 2
-------------------------


(subclass CompactDisc DigitalDataStorageDevice) Media.kif 1153-1153 CompactDiscDigitalDataStorageDevicesubclass
(subclass ComputerDisk DigitalDataStorageDevice) ComputerInput.kif 657-657 ComputerDiskDigitalDataStorageDevicesubclass
(subclass DVD DigitalDataStorageDevice) Media.kif 1254-1254 DVDDigitalDataStorageDevicesubclass
(subclass DigitalAudioTapeCassette DigitalDataStorageDevice) Media.kif 1321-1321 DigitalAudioTapeCassetteDigitalDataStorageDevicesubclass
(subclass HardDiskDrive DigitalDataStorageDevice) QoSontology.kif 77-77 硬盘驱动器DigitalDataStorageDevicesubclass
(subclass InternalDigitalDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 648-648 InternalDigitalDataStorageDeviceDigitalDataStorageDevicesubclass
(subclass OpticalDisc DigitalDataStorageDevice) Media.kif 1128-1128 OpticalDiscDigitalDataStorageDevicesubclass
(subclass ReadOnlyMemoryDataStorage DigitalDataStorageDevice) Media.kif 766-766 ReadOnlyMemoryDataStorageDigitalDataStorageDevicesubclass
(subclass RemovableDigitalDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 652-652 RemovableDigitalDataStorageDeviceDigitalDataStorageDevicesubclass
(subclass RewritableDataStorage DigitalDataStorageDevice) Media.kif 739-739 RewritableDataStorageDigitalDataStorageDevicesubclass
(subclass SolidStateDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 789-789 SolidStateDataStorageDeviceDigitalDataStorageDevicesubclass
(subclass WriteOnceDataStorage DigitalDataStorageDevice) Media.kif 711-711 WriteOnceDataStorageDigitalDataStorageDevicesubclass

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

consequent
-------------------------


(=>
    (instance ?DATA DigitalData)
    (exists (?DEVICE)
        (and
            (instance ?DEVICE DigitalDataStorageDevice)
            (located ?DATA ?DEVICE))))
QoSontology.kif 1860-1865


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