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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RemovableDigitalDataStorageDevice
RemovableDigitalDataStorageDevice

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 RemovableDigitalDataStorageDevice e' uma sub-classe de DigitalDataStorageDevice

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


(disjoint InternalDigitalDataStorageDevice RemovableDigitalDataStorageDevice) ComputerInput.kif 655-655 InternalDigitalDataStorageDevice e' disjunto de RemovableDigitalDataStorageDevice
(subclass CompactDisc RemovableDigitalDataStorageDevice) ComputerInput.kif 698-698 CompactDisc e' uma sub-classe de RemovableDigitalDataStorageDevice
(subclass FlashDrive RemovableDigitalDataStorageDevice) ComputerInput.kif 795-795 FlashDrive e' uma sub-classe de RemovableDigitalDataStorageDevice
(subclass MemoryCard RemovableDigitalDataStorageDevice) ComputerInput.kif 801-801 MemoryCard e' uma sub-classe de RemovableDigitalDataStorageDevice
(subclass RemovableDisk RemovableDigitalDataStorageDevice) ComputerInput.kif 683-683 RemovableDisk e' uma sub-classe de RemovableDigitalDataStorageDevice
(termFormat EnglishLanguage RemovableDigitalDataStorageDevice "removable digital data storage device") domainEnglishFormat.kif 65407-65407


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