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 951-953
(domain monitorComponentData 1 TimePosition)	QoSontology.kif 948-948	Il numero 1 argomenti di monitorComponentData è un istanza di PosizioneTemporale
(domain monitorComponentData 2 SymbolicString)	QoSontology.kif 949-949	Il numero 2 argomenti di monitorComponentData è un istanza di Stringa
(domain monitorComponentData 3 RealNumber)	QoSontology.kif 950-950	Il numero 3 argomenti di monitorComponentData è un istanza di NumeroReale
(instance monitorComponentData TernaryPredicate)	QoSontology.kif 947-947	monitorComponentData è un' istanza di PredicatoTernario

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 38417-38417
(termFormat ChineseTraditionalLanguage monitorComponentData "監控組件數據")	domainEnglishFormat.kif 38416-38416
(termFormat EnglishLanguage monitorComponentData "monitor component data")	domainEnglishFormat.kif 38415-38415

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 955-964