unitMeasuringPerformance |
appearance as argument number 1 |
(documentation unitMeasuringPerformance EnglishLanguage "(unitMeasuringPerformance ?COMPONENT ?UNIT) holds in case ?UNIT is an instance of UnitOfMeasure which is used to measure the performance of ?COMPONENT.") | QoSontology.kif 841-843 | |
(domain unitMeasuringPerformance 1 ComputerComponent) | QoSontology.kif 839-839 | 域 單位測量性能, 1 and 電腦組件 |
(domain unitMeasuringPerformance 2 UnitOfMeasure) | QoSontology.kif 840-840 | 域 單位測量性能, 2 and UnitOfMeasure |
(instance unitMeasuringPerformance BinaryPredicate) | QoSontology.kif 838-838 | 例 單位測量性能 and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量测性能") | domainEnglishFormat.kif 2575-2575 | |
(format ChineseTraditionalLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量測性能") | domainEnglishFormat.kif 2574-2574 | |
(format EnglishLanguage unitMeasuringPerformance "%2 is %n an unit measuring performance of %1") | domainEnglishFormat.kif 2573-2573 | |
(termFormat ChineseLanguage unitMeasuringPerformance "单位测量性能") | domainEnglishFormat.kif 60434-60434 | |
(termFormat ChineseTraditionalLanguage unitMeasuringPerformance "單位測量性能") | domainEnglishFormat.kif 60433-60433 | |
(termFormat EnglishLanguage unitMeasuringPerformance "unit measuring performance") | domainEnglishFormat.kif 60432-60432 |
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 |
|
(=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (unitMeasuringPerformance ?Instance ?Unit)) |
QoSontology.kif 911-913 |
|
(=> (instance ?CPU CPU) (unitMeasuringPerformance ?CPU InstructionsPerSecond)) |
QoSontology.kif 87-89 | |
(=> (instance ?Component ComputerComponent) (exists (?Unit) (unitMeasuringPerformance ?Component ?Unit))) |
QoSontology.kif 820-823 |
|
(=> (instance ?HardDrive HardDiskDrive) (unitMeasuringPerformance ?HardDrive BitsPerSecond)) |
QoSontology.kif 847-849 | |
(=> (instance ?NA NetworkAdapter) (unitMeasuringPerformance ?NA PacketsPerSecond)) |
QoSontology.kif 853-855 |