Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MemoryCard(memory card) |
| appearance as argument number 1 |
|
| (subclass MemoryCard SolidStateDataStorageDevice) | ComputerInput.kif 816-816 | Memory card is a subclass of solid state data storage device |
| (subclass MemoryCard RemovableDigitalDataStorageDevice) | ComputerInput.kif 817-817 | Memory card is a subclass of removable digital data storage device |
| (subclass MemoryCard ComputerIODevice) | ComputerInput.kif 818-818 | Memory card is a subclass of computer I/O device |
| (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 819-821 | Memory card is a subclass of computer I/O device |
| appearance as argument number 2 |
|
|
| (disjoint FlashDrive MemoryCard) | ComputerInput.kif 822-822 | Flash drive is disjoint from memory card |
| (termFormat EnglishLanguage MemoryCard "memory card") | domainEnglishFormat.kif 65163-65163 | Flash drive is disjoint from memory card |
|