| appearance as argument number 1 |
|
| (documentation MemoryCard EnglishLanguage "A type of RemovableDigitalDataStorageDevice with no moving parts, that can be inserted into a camera, cell phone, computer, or similar device; written on that device; and switched to another device to be read.") | ComputerInput.kif 803-805 | |
| (subclass MemoryCard ComputerIODevice) | ComputerInput.kif 802-802 | Memory card is a subclass of computer I/O device |
| (subclass MemoryCard RemovableDigitalDataStorageDevice) | ComputerInput.kif 801-801 | Memory card is a subclass of removable digital data storage device |
| (subclass MemoryCard SolidStateDataStorageDevice) | ComputerInput.kif 800-800 | Memory card is a subclass of solid state data storage device |
| appearance as argument number 2 |
|
|
| (disjoint FlashDrive MemoryCard) | ComputerInput.kif 806-806 | Flash drive is disjoint from memory card |
| (termFormat EnglishLanguage MemoryCard "memory card") | domainEnglishFormat.kif 65208-65208 | Flash drive is disjoint from memory card |
|
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