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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlashDrive
FlashDrive

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


(disjoint FlashDrive MemoryCard) ComputerInput.kif 835-835 disjoint FlashDrive and MemoryCard
(subclass FlashDrive ComputerIODevice) ComputerInput.kif 823-823 subclass FlashDrive and ComputerIODevice
(subclass FlashDrive RemovableDigitalDataStorageDevice) ComputerInput.kif 824-824 subclass FlashDrive and RemovableDigitalDataStorageDevice
(subclass FlashDrive SolidStateDataStorageDevice) ComputerInput.kif 822-822 subclass FlashDrive and SolidStateDataStorageDevice


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