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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DigitalDataStorageDevice

 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 子類 DigitalDataStorageDevice and ElectronicDataStorageDevice

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


(subclass CompactDisc DigitalDataStorageDevice) Media.kif 1153-1153 子類 CompactDisc and DigitalDataStorageDevice
(subclass ComputerDisk DigitalDataStorageDevice) ComputerInput.kif 657-657 子類 ComputerDisk and DigitalDataStorageDevice
(subclass DVD DigitalDataStorageDevice) Media.kif 1254-1254 子類 DVD and DigitalDataStorageDevice
(subclass DigitalAudioTapeCassette DigitalDataStorageDevice) Media.kif 1321-1321 子類 DigitalAudioTapeCassette and DigitalDataStorageDevice
(subclass HardDiskDrive DigitalDataStorageDevice) QoSontology.kif 77-77 子類 硬盤驅動器 and DigitalDataStorageDevice
(subclass InternalDigitalDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 648-648 子類 InternalDigitalDataStorageDevice and DigitalDataStorageDevice
(subclass OpticalDisc DigitalDataStorageDevice) Media.kif 1128-1128 子類 OpticalDisc and DigitalDataStorageDevice
(subclass ReadOnlyMemoryDataStorage DigitalDataStorageDevice) Media.kif 766-766 子類 ReadOnlyMemoryDataStorage and DigitalDataStorageDevice
(subclass RemovableDigitalDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 652-652 子類 RemovableDigitalDataStorageDevice and DigitalDataStorageDevice
(subclass RewritableDataStorage DigitalDataStorageDevice) Media.kif 739-739 子類 RewritableDataStorage and DigitalDataStorageDevice
(subclass SolidStateDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 789-789 子類 SolidStateDataStorageDevice and DigitalDataStorageDevice
(subclass WriteOnceDataStorage DigitalDataStorageDevice) Media.kif 711-711 子類 WriteOnceDataStorage and 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

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


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


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

Show without tree


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