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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RemovableDigitalDataStorageDevice
RemovableDigitalDataStorageDevice(removable digital data storage device)

appearance as argument number 1
-------------------------


(documentation RemovableDigitalDataStorageDevice EnglishLanguage "A type of DigitalDataStorageDevice that can be temporarily installed in a computer and is readily removable.") ComputerInput.kif 653-654
(subclass RemovableDigitalDataStorageDevice DigitalDataStorageDevice) ComputerInput.kif 652-652 Removable digital data storage device is a subclass of digital data storage device

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


(disjoint InternalDigitalDataStorageDevice RemovableDigitalDataStorageDevice) ComputerInput.kif 655-655 Internal digital data storage device is disjoint from removable digital data storage device
(subclass CompactDisc RemovableDigitalDataStorageDevice) ComputerInput.kif 698-698 Compact disc is a subclass of removable digital data storage device
(subclass FlashDrive RemovableDigitalDataStorageDevice) ComputerInput.kif 795-795 Flash drive is a subclass of removable digital data storage device
(subclass MemoryCard RemovableDigitalDataStorageDevice) ComputerInput.kif 801-801 Memory card is a subclass of removable digital data storage device
(subclass RemovableDisk RemovableDigitalDataStorageDevice) ComputerInput.kif 683-683 Removable disk is a subclass of removable digital data storage device
(termFormat EnglishLanguage RemovableDigitalDataStorageDevice "removable digital data storage device") domainEnglishFormat.kif 65405-65405


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