| 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 950-952 | |
| (domain unitMeasuringPerformance 1 ComputerComponent) | QoSontology.kif 948-948 | |
| (domain unitMeasuringPerformance 2 UnitOfMeasure) | QoSontology.kif 949-949 | |
| (instance unitMeasuringPerformance BinaryPredicate) | QoSontology.kif 947-947 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量测性能") | domainEnglishFormat.kif 2571-2571 | |
| (format ChineseTraditionalLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量測性能") | domainEnglishFormat.kif 2570-2570 | |
| (format EnglishLanguage unitMeasuringPerformance "%2 is %n an unit measuring performance of %1") | domainEnglishFormat.kif 2569-2569 | |
| (termFormat ChineseLanguage unitMeasuringPerformance "单位测量性能") | domainEnglishFormat.kif 60457-60457 | |
| (termFormat ChineseTraditionalLanguage unitMeasuringPerformance "單位測量性能") | domainEnglishFormat.kif 60456-60456 | |
| (termFormat EnglishLanguage unitMeasuringPerformance "unit measuring performance") | domainEnglishFormat.kif 60455-60455 |
| 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 1064-1073 | |
| (=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (unitMeasuringPerformance ?Instance ?Unit)) |
QoSontology.kif 1020-1022 | |
| (=> (instance ?CPU CPU) (unitMeasuringPerformance ?CPU InstructionsPerSecond)) |
QoSontology.kif 87-89 | |
| (=> (instance ?Component ComputerComponent) (exists (?Unit) (unitMeasuringPerformance ?Component ?Unit))) |
QoSontology.kif 929-932 | |
| (=> (instance ?HardDrive HardDiskDrive) (unitMeasuringPerformance ?HardDrive BitsPerSecond)) |
QoSontology.kif 956-958 | |
| (=> (instance ?NA NetworkAdapter) (unitMeasuringPerformance ?NA PacketsPerSecond)) |
QoSontology.kif 962-964 |
|
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