InstructionsPerSecond
|
|
appearance as argument number 1 |
(documentation InstructionsPerSecond EnglishLanguage "The measure of the processing speed of a Computer's CPU.") | QoSontology.kif 255-256 | |
(instance InstructionsPerSecond CompositeUnitOfMeasure) | QoSontology.kif 254-254 | 例 InstructionsPerSecond and CompositeUnitOfMeasure |
appearance as argument number 2 |
(termFormat EnglishLanguage InstructionsPerSecond "instructions per second") | domainEnglishFormat.kif 65035-65035 |
antecedent |
(=> (equal ?MEASURE (MeasureFn ?NUMBER InstructionsPerSecond)) (instance ?MEASURE TimeDependentQuantity)) |
QoSontology.kif 258-260 |
consequent |
(=> (instance ?CPU CPU) (unitMeasuringPerformance ?CPU InstructionsPerSecond)) |
QoSontology.kif 87-89 |