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 1057-1059
(domain monitorComponentData 1 TimePosition)	QoSontology.kif 1054-1054
(domain monitorComponentData 2 SymbolicString)	QoSontology.kif 1055-1055
(domain monitorComponentData 3 RealNumber)	QoSontology.kif 1056-1056
(instance monitorComponentData TernaryPredicate)	QoSontology.kif 1053-1053

appearance as argument number 2

(format ChineseLanguage monitorComponentData "%1 %n 是对于 %3 的 monitor 组件资料 %2 ")	domainEnglishFormat.kif 1759-1759
(format ChineseTraditionalLanguage monitorComponentData "%1 %n 是對於 %3 的 monitor 組件資料 %2 ")	domainEnglishFormat.kif 1758-1758
(format EnglishLanguage monitorComponentData "%1 is %n monitor component data %2 for %3")	domainEnglishFormat.kif 1757-1757
(termFormat ChineseLanguage monitorComponentData "监控组件数据")	domainEnglishFormat.kif 38446-38446
(termFormat ChineseTraditionalLanguage monitorComponentData "監控組件數據")	domainEnglishFormat.kif 38445-38445
(termFormat EnglishLanguage monitorComponentData "monitor component data")	domainEnglishFormat.kif 38444-38444

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 1061-1070