| 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 1147-1149 | |
| (domain benchmarkPerformance 1 ComputationalSystem) | QoSontology.kif 1144-1144 | |
| (domain benchmarkPerformance 2 MonitoringProgram) | QoSontology.kif 1145-1145 | |
| (domain benchmarkPerformance 3 Quantity) | QoSontology.kif 1146-1146 | |
| (instance benchmarkPerformance TernaryPredicate) | QoSontology.kif 1143-1143 |
| 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 10736-10736 | |
| (termFormat ChineseTraditionalLanguage benchmarkPerformance "基準表現") | domainEnglishFormat.kif 10735-10735 | |
| (termFormat EnglishLanguage benchmarkPerformance "benchmark performance") | domainEnglishFormat.kif 10734-10734 |
| antecedent |
|
|
| (=> (benchmarkPerformance ?System ?Test ?Number) (exists (?Event) (and (instance ?Event MeasuringPerformance) (performanceResult ?Event ?System ?Number)))) |
QoSontology.kif 1151-1156 |
|
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