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
(domain monitorComponentData 2 SymbolicString) QoSontology.kif 949-949
(domain monitorComponentData 3 RealNumber) QoSontology.kif 950-950
(instance monitorComponentData TernaryPredicate) QoSontology.kif 947-947

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

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