MeasuringPerformance - Sigma Knowledge base Browser

appearance as argument number 3

(domain systemMeasured 1 MeasuringPerformance)	QoSontology.kif 967-967	The number 1 argument of system measured is an instance of measuring performance
(domain performanceResult 1 MeasuringPerformance)	QoSontology.kif 1036-1036	The number 1 argument of performance result is an instance of measuring performance

antecedent

(=>
    (instance ?Event MeasuringPerformance)
    (exists (?Program ?Copy)
        (and
            (instance ?Program MonitoringProgram)
            (programCopy ?Copy ?Program)
            (agent ?Event ?Copy))))

If X is an instance of measuring performance, then there exist Y, Z such that Y is an instance of monitoring program, Z is a copy of Y, and Z is an agent of X

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 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
(=> (benchmarkPerformance ?System ?Test ?Number) (exists (?Event) (and (instance ?Event MeasuringPerformance) (performanceResult ?Event ?System ?Number))))	QoSontology.kif 1141-1146	If X benchmark performance Y for Z, then there exists W such that W is an instance of measuring performance and W is performance result X for Z

(subclass MeasuringPerformance ComputerProcess)	QoSontology.kif 979-979	Measuring performance is a subclass of computer process
(documentation MeasuringPerformance EnglishLanguage "Each element of MeasuringPerformance is an event of measuring the performance of an instance of ComputerComponent, performed by a MonitoringProgram.")	QoSontology.kif 980-982	Measuring performance is a subclass of computer process

(termFormat EnglishLanguage MeasuringPerformance "measuring performance")	domainEnglishFormat.kif 36695-36695
(termFormat ChineseTraditionalLanguage MeasuringPerformance "測量性能")	domainEnglishFormat.kif 36696-36696
(termFormat ChineseLanguage MeasuringPerformance "测量性能")	domainEnglishFormat.kif 36697-36697