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

Formal Language: 



KB Term:  Term intersection
English Word: 

  monitorComponentData

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 監控組件數據, 1 and TimePosition
(domain monitorComponentData 2 SymbolicString) QoSontology.kif 949-949 監控組件數據, 2 and SymbolicString
(domain monitorComponentData 3 RealNumber) QoSontology.kif 950-950 監控組件數據, 3 and RealNumber
(instance monitorComponentData TernaryPredicate) QoSontology.kif 947-947 監控組件數據 and TernaryPredicate

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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