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 1147-1149
(domain benchmarkPerformance 1 ComputationalSystem)	QoSontology.kif 1144-1144	The number 1 argument of benchmark performance is an instance of computational system
(domain benchmarkPerformance 2 MonitoringProgram)	QoSontology.kif 1145-1145	The number 2 argument of benchmark performance is an instance of monitoring program
(domain benchmarkPerformance 3 Quantity)	QoSontology.kif 1146-1146	The number 3 argument of benchmark performance is an instance of quantity
(instance benchmarkPerformance TernaryPredicate)	QoSontology.kif 1143-1143	benchmark performance is an instance of ternary predicate

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 10740-10740
(termFormat ChineseTraditionalLanguage benchmarkPerformance "基準表現")	domainEnglishFormat.kif 10739-10739
(termFormat EnglishLanguage benchmarkPerformance "benchmark performance")	domainEnglishFormat.kif 10738-10738

antecedent

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

QoSontology.kif 1151-1156