Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - benchmarkPerformance
benchmarkPerformance

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 1046-1048
(domain benchmarkPerformance 1 ComputationalSystem) QoSontology.kif 1043-1043 The number 1 argument of benchmark performance is an instance of computational system
(domain benchmarkPerformance 2 MonitoringProgram) QoSontology.kif 1044-1044 The number 2 argument of benchmark performance is an instance of monitoring program
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1045-1045 The number 3 argument of benchmark performance is an instance of quantity
(instance benchmarkPerformance TernaryPredicate) QoSontology.kif 1042-1042 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 10675-10675
(termFormat ChineseTraditionalLanguage benchmarkPerformance "基準表現") domainEnglishFormat.kif 10674-10674
(termFormat EnglishLanguage benchmarkPerformance "benchmark performance") domainEnglishFormat.kif 10673-10673

antecedent
-------------------------


(=>
    (benchmarkPerformance ?System ?Test ?Number)
    (exists (?Event)
        (and
            (instance ?Event MeasuringPerformance)
            (performanceResult ?Event ?System ?Number))))
QoSontology.kif 1050-1055


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners