| 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 839-841 | |
| (domain unitMeasuringPerformance 1 ComputerComponent) | QoSontology.kif 837-837 | 单位测量性能 的 1 数量 是 电脑组件 的 instance |
| (domain unitMeasuringPerformance 2 UnitOfMeasure) | QoSontology.kif 838-838 | 单位测量性能 的 2 数量 是 测量单位 的 instance |
| (instance unitMeasuringPerformance BinaryPredicate) | QoSontology.kif 836-836 | 单位测量性能 是 二元谓语 的 instance |
| 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 60401-60401 | |
| (termFormat ChineseTraditionalLanguage unitMeasuringPerformance "單位測量性能") | domainEnglishFormat.kif 60400-60400 | |
| (termFormat EnglishLanguage unitMeasuringPerformance "unit measuring performance") | domainEnglishFormat.kif 60399-60399 |
| 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 953-962 | |
| (=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (unitMeasuringPerformance ?Instance ?Unit)) |
QoSontology.kif 909-911 | |
| (=> (instance ?CPU CPU) (unitMeasuringPerformance ?CPU InstructionsPerSecond)) |
QoSontology.kif 87-89 | |
| (=> (instance ?Component ComputerComponent) (exists (?Unit) (unitMeasuringPerformance ?Component ?Unit))) |
QoSontology.kif 818-821 | |
| (=> (instance ?HardDrive HardDiskDrive) (unitMeasuringPerformance ?HardDrive BitsPerSecond)) |
QoSontology.kif 845-847 | |
| (=> (instance ?NA NetworkAdapter) (unitMeasuringPerformance ?NA PacketsPerSecond)) |
QoSontology.kif 851-853 |
|
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