benchmarkPerformance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation benchmarkPerformance EnglishLanguage "(benchmarkPerformance ?SYSTEM ?TEST ?NUMBER) holds if ?NUMBER is a benchmark for measuring the performance of an instance of a ComputationalSystem.")	QoSontology.kif 1150-1152
(domain benchmarkPerformance 1 ComputationalSystem)	QoSontology.kif 1147-1147	Le nombre 1 argument de benchmarkPerformance est une instance de ComputationalSystem
(domain benchmarkPerformance 2 MonitoringProgram)	QoSontology.kif 1148-1148	Le nombre 2 argument de benchmarkPerformance est une instance de MonitoringProgram
(domain benchmarkPerformance 3 Quantity)	QoSontology.kif 1149-1149	Le nombre 3 argument de benchmarkPerformance est une instance de quantit�
(instance benchmarkPerformance TernaryPredicate)	QoSontology.kif 1146-1146	benchmarkPerformance est une instance de pr�dicat ternaire

appearance as argument number 2

(format ChineseLanguage benchmarkPerformance "%1 %n{不} 對於 %3 benchmark 性能 %2")	domainEnglishFormat.kif 272-272
(format ChineseTraditionalLanguage benchmarkPerformance "%1 %n{不對} %3 benchmark 性能 %2")	domainEnglishFormat.kif 271-271
(format EnglishLanguage benchmarkPerformance "%1 %n{doesn't} benchmark performance %2 for %3")	domainEnglishFormat.kif 270-270
(termFormat ChineseLanguage benchmarkPerformance "基准表现")	domainEnglishFormat.kif 10734-10734
(termFormat ChineseTraditionalLanguage benchmarkPerformance "基準表現")	domainEnglishFormat.kif 10733-10733
(termFormat EnglishLanguage benchmarkPerformance "benchmark performance")	domainEnglishFormat.kif 10732-10732

antecedent

(=>
    (benchmarkPerformance ?System ?Test ?Number)
    (exists (?Event)
        (and
            (instance ?Event MeasuringPerformance)
            (performanceResult ?Event ?System ?Number))))

QoSontology.kif 1154-1159