Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - monitorComponentData
monitorComponentData

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners