Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| unitMeasuringPerformance |
| appearance as argument number 1 |
|
| (instance unitMeasuringPerformance BinaryPredicate) | QoSontology.kif 934-934 | unit measuring performance is an instance of binary predicate |
| (domain unitMeasuringPerformance 1 ComputerComponent) | QoSontology.kif 935-935 | The number 1 argument of unit measuring performance is an instance of computer component |
| (domain unitMeasuringPerformance 2 UnitOfMeasure) | QoSontology.kif 936-936 | The number 2 argument of unit measuring performance is an instance of unit of measure |
| (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 937-939 | The number 2 argument of unit measuring performance is an instance of unit of measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage unitMeasuringPerformance "%2 is %n an unit measuring performance of %1") | domainEnglishFormat.kif 2569-2569 | |
| (format ChineseTraditionalLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量測性能") | domainEnglishFormat.kif 2570-2570 | |
| (format ChineseLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量测性能") | domainEnglishFormat.kif 2571-2571 | |
| (termFormat EnglishLanguage unitMeasuringPerformance "unit measuring performance") | domainEnglishFormat.kif 60419-60419 | |
| (termFormat ChineseTraditionalLanguage unitMeasuringPerformance "單位測量性能") | domainEnglishFormat.kif 60420-60420 | |
| (termFormat ChineseLanguage unitMeasuringPerformance "单位测量性能") | domainEnglishFormat.kif 60421-60421 |
| consequent |
|
|
| (=> (instance ?CPU CPU) (unitMeasuringPerformance ?CPU InstructionsPerSecond)) |
QoSontology.kif 82-84 | If X is an instance of CPU, then instructions per second is an unit measuring performance of X |
| (=> (instance ?Component ComputerComponent) (exists (?Unit) (unitMeasuringPerformance ?Component ?Unit))) |
QoSontology.kif 916-919 | If X is an instance of computer component, then there exists Y such that Y is an unit measuring performance of X |
| (=> (instance ?HardDrive HardDiskDrive) (unitMeasuringPerformance ?HardDrive BitsPerSecond)) |
QoSontology.kif 943-945 | If X is an instance of hard disk drive, then bits per second is an unit measuring performance of X |
| (=> (instance ?NA NetworkAdapter) (unitMeasuringPerformance ?NA PacketsPerSecond)) |
QoSontology.kif 949-951 | If X is an instance of network adapter, then packets per second is an unit measuring performance of X |
| (=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (unitMeasuringPerformance ?Instance ?Unit)) |
QoSontology.kif 1007-1009 | If X component dataID Y for Z with W and V, then W is an unit measuring performance of Z |
| (=> (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 1051-1060 | If X is monitor component data Y for Z and W component dataID V for U with T and Y, then there exists S such that S is an instance of measuring performance, T is an unit measuring performance of U, S exists during X, and S is performance result U for Z |
|