| appearance as argument number 1 |
|
| (documentation performanceResult EnglishLanguage "(performanceResult ?EVENT ?COMPONENT ?NUMBER) holds if the performance of ?COMPONENT has a value ?NUMBER, measured by ?EVENT, an instance of MeasuringPerformance.") | QoSontology.kif 1052-1054 | |
| (domain performanceResult 1 MeasuringPerformance) | QoSontology.kif 1049-1049 | |
| (domain performanceResult 2 ComputerComponent) | QoSontology.kif 1050-1050 | |
| (domain performanceResult 3 RealNumber) | QoSontology.kif 1051-1051 | |
| (instance performanceResult TernaryPredicate) | QoSontology.kif 1048-1048 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage performanceResult "%1 %n 是 对于 %3 的 performance 结果 %2 ") | domainEnglishFormat.kif 1943-1943 | |
| (format ChineseTraditionalLanguage performanceResult "%1 %n 是 對於 %3 的 performance 結果 %2 ") | domainEnglishFormat.kif 1942-1942 | |
| (format EnglishLanguage performanceResult "%1 is %n performance result %2 for %3") | domainEnglishFormat.kif 1941-1941 | |
| (termFormat ChineseLanguage performanceResult "表现结果") | domainEnglishFormat.kif 45169-45169 | |
| (termFormat ChineseTraditionalLanguage performanceResult "表現結果") | domainEnglishFormat.kif 45168-45168 | |
| (termFormat EnglishLanguage performanceResult "performance result") | domainEnglishFormat.kif 45167-45167 |
| consequent |
|
|
| (=> (and (monitorComponentData ?Time1 ?ID ?Number) (componentDataID ?Time2 ?Component ?Instance ?Unit ?ID)) (exists (?Event) (and (instance ?Event MeasuringPerformance) (unitMeasuringPerformance ?Instance ?Unit) (time ?Event ?Time1) (performanceResult ?Event ?Instance ?Number)))) |
QoSontology.kif 1064-1073 | |
| (=> (benchmarkPerformance ?System ?Test ?Number) (exists (?Event) (and (instance ?Event MeasuringPerformance) (performanceResult ?Event ?System ?Number)))) |
QoSontology.kif 1154-1159 | |
| (=> (load ?System ?Load) (exists (?Event) (performanceResult ?Event ?System ?Load))) |
QoSontology.kif 1977-1980 |
|
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