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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlashDrive

Sigma KEE - FlashDrive
FlashDrive

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


(disjoint FlashDrive MemoryCard) ComputerInput.kif 806-806 FlashDriveMemoryCarddisjoint では %n
(subclass FlashDrive ComputerIODevice) ComputerInput.kif 794-794 FlashDriveComputerIODevicesubclass では %n
(subclass FlashDrive RemovableDigitalDataStorageDevice) ComputerInput.kif 795-795 FlashDriveRemovableDigitalDataStorageDevicesubclass では %n
(subclass FlashDrive SolidStateDataStorageDevice) ComputerInput.kif 793-793 FlashDriveSolidStateDataStorageDevicesubclass では %n

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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