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

KB Term:  Term intersection
English Word: 

Sigma KEE - FlashDrive
FlashDrive(flash drive)

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


(subclass FlashDrive SolidStateDataStorageDevice) ComputerInput.kif 809-809 Flash drive is a subclass of solid state data storage device
(subclass FlashDrive ComputerIODevice) ComputerInput.kif 810-810 Flash drive is a subclass of computer I/O device
(subclass FlashDrive RemovableDigitalDataStorageDevice) ComputerInput.kif 811-811 Flash drive is a subclass of removable digital data storage device
(disjoint FlashDrive MemoryCard) ComputerInput.kif 822-822 Flash drive is disjoint from memory card

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


(termFormat EnglishLanguage FlashDrive "flash drive") domainEnglishFormat.kif 64874-64874


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners