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 RemovableDigitalDataStorageDeviceDigitalDataStorageDevicesubclass

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


(disjoint InternalDigitalDataStorageDevice RemovableDigitalDataStorageDevice) ComputerInput.kif 655-655 InternalDigitalDataStorageDevice 和 % 2 是 disjoint
(subclass CompactDisc RemovableDigitalDataStorageDevice) ComputerInput.kif 698-698 CompactDiscRemovableDigitalDataStorageDevicesubclass
(subclass FlashDrive RemovableDigitalDataStorageDevice) ComputerInput.kif 795-795 FlashDriveRemovableDigitalDataStorageDevicesubclass
(subclass MemoryCard RemovableDigitalDataStorageDevice) ComputerInput.kif 801-801 MemoryCardRemovableDigitalDataStorageDevicesubclass
(subclass RemovableDisk RemovableDigitalDataStorageDevice) ComputerInput.kif 683-683 RemovableDiskRemovableDigitalDataStorageDevicesubclass
(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