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 806-806 FlashDrive est disjoint de MemoryCard
(subclass FlashDrive ComputerIODevice) ComputerInput.kif 794-794 FlashDrive est une sous-classe de ComputerIODevice
(subclass FlashDrive RemovableDigitalDataStorageDevice) ComputerInput.kif 795-795 FlashDrive est une sous-classe de RemovableDigitalDataStorageDevice
(subclass FlashDrive SolidStateDataStorageDevice) ComputerInput.kif 793-793 FlashDrive est une sous-classe de SolidStateDataStorageDevice

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


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


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