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 | Le nombre 1 argument de performanceResult est une instance de MeasuringPerformance |
(domain performanceResult 2 ComputerComponent) | QoSontology.kif 941-941 | Le nombre 2 argument de performanceResult est une instance de ComputerComponent |
(domain performanceResult 3 RealNumber) | QoSontology.kif 942-942 | Le nombre 3 argument de performanceResult est une instance de nombre r�el |
(instance performanceResult TernaryPredicate) | QoSontology.kif 939-939 | performanceResult est une instance de pr�dicat ternaire |
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 45138-45138 | |
(termFormat ChineseTraditionalLanguage performanceResult "表現結果") | domainEnglishFormat.kif 45137-45137 | |
(termFormat EnglishLanguage performanceResult "performance result") | domainEnglishFormat.kif 45136-45136 |
consequent |