| 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 1049-1051 | |
| (domain performanceResult 1 MeasuringPerformance) | QoSontology.kif 1046-1046 | |
| (domain performanceResult 2 ComputerComponent) | QoSontology.kif 1047-1047 | |
| (domain performanceResult 3 RealNumber) | QoSontology.kif 1048-1048 | |
| (instance performanceResult TernaryPredicate) | QoSontology.kif 1045-1045 |
| 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 45171-45171 | |
| (termFormat ChineseTraditionalLanguage performanceResult "表現結果") | domainEnglishFormat.kif 45170-45170 | |
| (termFormat EnglishLanguage performanceResult "performance result") | domainEnglishFormat.kif 45169-45169 |
| 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 1061-1070 | |
| (=> (benchmarkPerformance ?System ?Test ?Number) (exists (?Event) (and (instance ?Event MeasuringPerformance) (performanceResult ?Event ?System ?Number)))) |
QoSontology.kif 1151-1156 | |
| (=> (load ?System ?Load) (exists (?Event) (performanceResult ?Event ?System ?Load))) |
QoSontology.kif 1952-1955 |
|
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