monitorComponentData - Sigma Knowledge base Browser

appearance as argument number 1

(instance monitorComponentData TernaryPredicate)	QoSontology.kif 1043-1043	monitor component data is an instance of ternary predicate
(domain monitorComponentData 1 TimePosition)	QoSontology.kif 1044-1044	The number 1 argument of monitor component data is an instance of time position
(domain monitorComponentData 2 SymbolicString)	QoSontology.kif 1045-1045	The number 2 argument of monitor component data is an instance of symbolic string
(domain monitorComponentData 3 RealNumber)	QoSontology.kif 1046-1046	The number 3 argument of monitor component data is an instance of real number
(documentation monitorComponentData EnglishLanguage "(monitorComponentData ?TIME ?ID ?NUMBER) holds if at time ?TIME, a component with the IDNumber ?ID has a performance of a value ?NUMBER.")	QoSontology.kif 1047-1049	The number 3 argument of monitor component data is an instance of real number

appearance as argument number 2

(format EnglishLanguage monitorComponentData "%1 is %n monitor component data %2 for %3")	domainEnglishFormat.kif 1761-1761
(format ChineseTraditionalLanguage monitorComponentData "%1 %n 是對於 %3 的 monitor 組件資料 %2 ")	domainEnglishFormat.kif 1762-1762
(format ChineseLanguage monitorComponentData "%1 %n 是对于 %3 的 monitor 组件资料 %2 ")	domainEnglishFormat.kif 1763-1763
(termFormat EnglishLanguage monitorComponentData "monitor component data")	domainEnglishFormat.kif 38417-38417
(termFormat ChineseTraditionalLanguage monitorComponentData "監控組件數據")	domainEnglishFormat.kif 38418-38418
(termFormat ChineseLanguage monitorComponentData "监控组件数据")	domainEnglishFormat.kif 38419-38419

antecedent

(=>
    (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))))

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