Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
CPU(CPU)
|  | C.P.U., CPU, central_processing_unit, central_processor, mainframe, processor |
| appearance as argument number 1 |
|
|
| (subclass CPU ComputerComponent) | QoSontology.kif 78-78 | CPU is a subclass of computer component |
| (documentation CPU EnglishLanguage "CPU (Central Processing Unit) is the computing part of the computer.") | QoSontology.kif 79-80 | CPU is a subclass of computer component |
| (externalImage CPU "http://articulatesoftware.com/SUMOpictures/computer/ CPU/ cpu_1.png") | pictureList.kif 309-309 | CPU is a subclass of computer component |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?CPU CPU) (unitMeasuringPerformance ?CPU InstructionsPerSecond)) |
QoSontology.kif 82-84 | If X is an instance of CPU, then instructions per second is an unit measuring performance of X |
| 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 |
|