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 The number 1 argument of monitor component data is an instance of time position
(domain monitorComponentData 2 SymbolicString) QoSontology.kif 949-949 The number 2 argument of monitor component data is an instance of symbolic string
(domain monitorComponentData 3 RealNumber) QoSontology.kif 950-950 The number 3 argument of monitor component data is an instance of real number
(instance monitorComponentData TernaryPredicate) QoSontology.kif 947-947 monitor component data is an instance of ternary predicate

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