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 基准表现 的 1 数量 是 计算系统instance
(domain benchmarkPerformance 2 MonitoringProgram) QoSontology.kif 1039-1039 基准表现 的 2 数量 是 监测计划instance
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1040-1040 基准表现 的 3 数量 是 数量instance
(instance benchmarkPerformance TernaryPredicate) QoSontology.kif 1037-1037 基准表现三元谓语instance

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