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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(domain benchmarkPerformance 2 MonitoringProgram) QoSontology.kif 1039-1039
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1040-1040
(instance benchmarkPerformance TernaryPredicate) QoSontology.kif 1037-1037

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


    (benchmarkPerformance ?System ?Test ?Number)
    (exists (?Event)
            (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