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 949-951
(domain monitorComponentData 1 TimePosition) QoSontology.kif 946-946 The number 1 argument of monitor component data is an instance of time position
(domain monitorComponentData 2 SymbolicString) QoSontology.kif 947-947 The number 2 argument of monitor component data is an instance of symbolic string
(domain monitorComponentData 3 RealNumber) QoSontology.kif 948-948 The number 3 argument of monitor component data is an instance of real number
(instance monitorComponentData TernaryPredicate) QoSontology.kif 945-945 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 38400-38400
(termFormat ChineseTraditionalLanguage monitorComponentData "監控組件數據") domainEnglishFormat.kif 38399-38399
(termFormat EnglishLanguage monitorComponentData "monitor component data") domainEnglishFormat.kif 38398-38398

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 953-962


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