Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ComputerMemory(computer memory)
|  | EPROM, ROM, computer_memory, computer_storage, core_memory, disk_cache, erasable_programmable_read-only_memory, fixed_storage, flash_memory, magnetic_core_memory, memory, memory_board, non-volatile_storage, nonvolatile_storage, read-only_memory, read-only_storage, scratchpad, storage, store, volatile_storage |
| appearance as argument number 1 |
|
|
| (subclass ComputerMemory ComputerComponent) | QoSontology.kif 65-65 | Computer memory is a subclass of computer component |
| (documentation ComputerMemory EnglishLanguage "The computer's workspace (physically, a collection of RAM chips). It is an important resource, since it determines the size and number of programs that can be run at the same time, as well as the amount of data that can be processed instantly.") | QoSontology.kif 66-69 | Computer memory is a subclass of computer component |
| (externalImage ComputerMemory "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ MemoryRam.jpg") | pictureList.kif 10700-10700 | Computer memory is a subclass of computer component |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?System HardwareSystem) (exists (?Processor ?Memory ?Network) (and (instance ?Processor CPU) (component ?System ?Processor) (instance ?Memory ComputerMemory) (component ?System ?Memory) (instance ?Network ComputerNetwork) (component ?System ?Network)))) |
QoSontology.kif 305-314 | If X is an instance of hardware system, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of CPU (3) X is a component of Y (4) Z is an instance of computer memory (5) X is a component of Z (6) W is an instance of computer network (7) X is a component of W |
|