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 | Il numero 1 argomenti di performanceResult è un istanza di MeasuringPerformance |
(domain performanceResult 2 ComputerComponent) | QoSontology.kif 941-941 | Il numero 2 argomenti di performanceResult è un istanza di ComputerComponent |
(domain performanceResult 3 RealNumber) | QoSontology.kif 942-942 | Il numero 3 argomenti di performanceResult è un istanza di NumeroReale |
(instance performanceResult TernaryPredicate) | QoSontology.kif 939-939 | performanceResult è un' istanza di PredicatoTernario |
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 |