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 1041-1043
(domain benchmarkPerformance 1 ComputationalSystem) QoSontology.kif 1038-1038 The number 1 argument of benchmark performance is an instance of computational system
(domain benchmarkPerformance 2 MonitoringProgram) QoSontology.kif 1039-1039 The number 2 argument of benchmark performance is an instance of monitoring program
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1040-1040 The number 3 argument of benchmark performance is an instance of quantity
(instance benchmarkPerformance TernaryPredicate) QoSontology.kif 1037-1037 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 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


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 3.0 is open source software produced by Articulate Software and its partners