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 1041-1043
(domain benchmarkPerformance 1 ComputationalSystem)	QoSontology.kif 1038-1038	Le nombre 1 argument de benchmarkPerformance est une instance de ComputationalSystem
(domain benchmarkPerformance 2 MonitoringProgram)	QoSontology.kif 1039-1039	Le nombre 2 argument de benchmarkPerformance est une instance de MonitoringProgram
(domain benchmarkPerformance 3 Quantity)	QoSontology.kif 1040-1040	Le nombre 3 argument de benchmarkPerformance est une instance de quantit�
(instance benchmarkPerformance TernaryPredicate)	QoSontology.kif 1037-1037	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 10727-10727
(termFormat ChineseTraditionalLanguage benchmarkPerformance "基準表現")	domainEnglishFormat.kif 10726-10726
(termFormat EnglishLanguage benchmarkPerformance "benchmark performance")	domainEnglishFormat.kif 10725-10725

antecedent

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

QoSontology.kif 1045-1050