Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| performanceResult |
| appearance as argument number 1 |
|
| (instance performanceResult TernaryPredicate) | QoSontology.kif 1035-1035 | performance result is an instance of ternary predicate |
| (domain performanceResult 1 MeasuringPerformance) | QoSontology.kif 1036-1036 | The number 1 argument of performance result is an instance of measuring performance |
| (domain performanceResult 2 ComputerComponent) | QoSontology.kif 1037-1037 | The number 2 argument of performance result is an instance of computer component |
| (domain performanceResult 3 RealNumber) | QoSontology.kif 1038-1038 | The number 3 argument of performance result is an instance of real number |
| (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 1039-1041 | The number 3 argument of performance result is an instance of real number |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage performanceResult "%1 is %n performance result %2 for %3") | domainEnglishFormat.kif 1941-1941 | |
| (format ChineseTraditionalLanguage performanceResult "%1 %n 是 對於 %3 的 performance 結果 %2 ") | domainEnglishFormat.kif 1942-1942 | |
| (format ChineseLanguage performanceResult "%1 %n 是 对于 %3 的 performance 结果 %2 ") | domainEnglishFormat.kif 1943-1943 | |
| (termFormat EnglishLanguage performanceResult "performance result") | domainEnglishFormat.kif 45131-45131 | |
| (termFormat ChineseTraditionalLanguage performanceResult "表現結果") | domainEnglishFormat.kif 45132-45132 | |
| (termFormat ChineseLanguage performanceResult "表现结果") | domainEnglishFormat.kif 45133-45133 |
| 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 1051-1060 | If X is monitor component data Y for Z and W component dataID V for U with T and Y, then there exists S such that S is an instance of measuring performance, T is an unit measuring performance of U, S exists during X, and S is performance result U for Z |
| (=> (benchmarkPerformance ?System ?Test ?Number) (exists (?Event) (and (instance ?Event MeasuringPerformance) (performanceResult ?Event ?System ?Number)))) |
QoSontology.kif 1141-1146 | If X benchmark performance Y for Z, then there exists W such that W is an instance of measuring performance and W is performance result X for Z |
| (=> (load ?System ?Load) (exists (?Event) (performanceResult ?Event ?System ?Load))) |
QoSontology.kif 1970-1973 | If the load on X is Y, then there exists Z such that Z is performance result X for Y |
|