monitorComponentData - Sigma Knowledge base Browser

appearance as argument number 1

(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 1060-1062
(domain monitorComponentData 1 TimePosition)	QoSontology.kif 1057-1057	The number 1 argument of monitor component data is an instance of time position
(domain monitorComponentData 2 SymbolicString)	QoSontology.kif 1058-1058	The number 2 argument of monitor component data is an instance of symbolic string
(domain monitorComponentData 3 RealNumber)	QoSontology.kif 1059-1059	The number 3 argument of monitor component data is an instance of real number
(instance monitorComponentData TernaryPredicate)	QoSontology.kif 1056-1056	monitor component data is an instance of ternary predicate

appearance as argument number 2

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

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

QoSontology.kif 1064-1073