Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InstructionsPerSecond(instructions per second) |
| appearance as argument number 1 |
|
| (instance InstructionsPerSecond CompositeUnitOfMeasure) | QoSontology.kif 249-249 | Instructions per second is an instance of composite unit of measure |
| (documentation InstructionsPerSecond EnglishLanguage "The measure of the processing speed of a Computer's CPU.") | QoSontology.kif 250-251 | Instructions per second is an instance of composite unit of measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage InstructionsPerSecond "instructions per second") | domainEnglishFormat.kif 65036-65036 |
| antecedent |
|
|
| (=> (equal ?MEASURE (MeasureFn ?NUMBER InstructionsPerSecond)) (instance ?MEASURE TimeDependentQuantity)) |
QoSontology.kif 253-255 | If equal X and Y instructions per second(s), then X is an instance of time dependent quantity |
| consequent |
|
|
| (=> (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 |
|