benchmarkPerformance - Sigma Knowledge base Browser

appearance as argument number 1

(instance benchmarkPerformance TernaryPredicate)	QoSontology.kif 1133-1133	benchmark performance is an instance of ternary predicate
(domain benchmarkPerformance 1 ComputationalSystem)	QoSontology.kif 1134-1134	The number 1 argument of benchmark performance is an instance of computational system
(domain benchmarkPerformance 2 MonitoringProgram)	QoSontology.kif 1135-1135	The number 2 argument of benchmark performance is an instance of monitoring program
(domain benchmarkPerformance 3 Quantity)	QoSontology.kif 1136-1136	The number 3 argument of benchmark performance is an instance of quantity
(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 1137-1139	The number 3 argument of benchmark performance is an instance of quantity

appearance as argument number 2

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

antecedent

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

If X benchmark performance Y for Z, then there exists W such that W is an instance of measuring performance and W is performance result X for Z