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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DigitalDataStorageDevice
DigitalDataStorageDevicememory_device, storage_device

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 is a subclass of ElectronicDataStorageDevice

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


(subclass CompactDisc DigitalDataStorageDevice) Media.kif 1157-1157 CompactDisc is a subclass of DigitalDataStorageDevice
(subclass ComputerDisk DigitalDataStorageDevice) ComputerInput.kif 685-685 ComputerDisk is a subclass of DigitalDataStorageDevice
(subclass DVD DigitalDataStorageDevice) Media.kif 1258-1258 DVD is a subclass of DigitalDataStorageDevice
(subclass DigitalAudioTapeCassette DigitalDataStorageDevice) Media.kif 1325-1325 DigitalAudioTapeCassette is a subclass of DigitalDataStorageDevice
(subclass HardDiskDrive DigitalDataStorageDevice) QoSontology.kif 77-77 Hard disk drive is a subclass of DigitalDataStorageDevice
(subclass InternalDigitalDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 676-676 InternalDigitalDataStorageDevice is a subclass of DigitalDataStorageDevice
(subclass OpticalDisc DigitalDataStorageDevice) Media.kif 1132-1132 OpticalDisc is a subclass of DigitalDataStorageDevice
(subclass ReadOnlyMemoryDataStorage DigitalDataStorageDevice) Media.kif 766-766 ReadOnlyMemoryDataStorage is a subclass of DigitalDataStorageDevice
(subclass RemovableDigitalDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 680-680 RemovableDigitalDataStorageDevice is a subclass of DigitalDataStorageDevice
(subclass RewritableDataStorage DigitalDataStorageDevice) Media.kif 739-739 RewritableDataStorage is a subclass of DigitalDataStorageDevice
(subclass SolidStateDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 818-818 SolidStateDataStorageDevice is a subclass of DigitalDataStorageDevice
(subclass WriteOnceDataStorage DigitalDataStorageDevice) Media.kif 711-711 WriteOnceDataStorage is a subclass of DigitalDataStorageDevice

antecedent
-------------------------


(=>
    (and
        (instance ?OBJ DigitalDataStorageDevice)
        (part ?PART ?OBJ)
        (instance ?PART DigitalData))
    (exists (?SCHEME ?LIST)
        (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 1861-1866


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