performanceResult |
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 943-945 | |
(domain performanceResult 1 MeasuringPerformance) | QoSontology.kif 940-940 | 域 表現結果, 1 and 測量性能 |
(domain performanceResult 2 ComputerComponent) | QoSontology.kif 941-941 | 域 表現結果, 2 and 電腦組件 |
(domain performanceResult 3 RealNumber) | QoSontology.kif 942-942 | 域 表現結果, 3 and RealNumber |
(instance performanceResult TernaryPredicate) | QoSontology.kif 939-939 | 例 表現結果 and TernaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage performanceResult "%1 %n 是 对于 %3 的 performance 结果 %2 ") | domainEnglishFormat.kif 1939-1939 | |
(format ChineseTraditionalLanguage performanceResult "%1 %n 是 對於 %3 的 performance 結果 %2 ") | domainEnglishFormat.kif 1938-1938 | |
(format EnglishLanguage performanceResult "%1 is %n performance result %2 for %3") | domainEnglishFormat.kif 1937-1937 | |
(termFormat ChineseLanguage performanceResult "表现结果") | domainEnglishFormat.kif 45140-45140 | |
(termFormat ChineseTraditionalLanguage performanceResult "表現結果") | domainEnglishFormat.kif 45139-45139 | |
(termFormat EnglishLanguage performanceResult "performance result") | domainEnglishFormat.kif 45138-45138 |
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 955-964 |
|
(=> (benchmarkPerformance ?System ?Test ?Number) (exists (?Event) (and (instance ?Event MeasuringPerformance) (performanceResult ?Event ?System ?Number)))) |
QoSontology.kif 1045-1050 |
|
(=> (load ?System ?Load) (exists (?Event) (performanceResult ?Event ?System ?Load))) |
QoSontology.kif 1846-1849 |
|