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 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


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