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

Formal Language: 



KB Term:  Term intersection
English Word: 

  performanceResult

Sigma KEE - performanceResult
performanceResult

appearance as argument number 1
-------------------------


(documentation performanceResult EnglishLanguage "(performanceResult ?EVENT ?COMPONENT ?NUMBER) holds if the performance of ?COMPONENT has a value ?NUMBER, measured by ?EVENT, an instance of MeasuringPerformance.") QoSontology.kif 943-945
(domain performanceResult 1 MeasuringPerformance) QoSontology.kif 940-940 The number 1 argument of performance result is an instance of measuring performance
(domain performanceResult 2 ComputerComponent) QoSontology.kif 941-941 The number 2 argument of performance result is an instance of computer component
(domain performanceResult 3 RealNumber) QoSontology.kif 942-942 The number 3 argument of performance result is an instance of real number
(instance performanceResult TernaryPredicate) QoSontology.kif 939-939 performance result is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage performanceResult "%1 %n 是 对于 %3 的 performance 结果 %2 ") domainEnglishFormat.kif 1939-1939
(format ChineseTraditionalLanguage performanceResult "%1 %n 是 對於 %3 的 performance 結果 %2 ") domainEnglishFormat.kif 1938-1938
(format EnglishLanguage performanceResult "%1 is %n performance result %2 for %3") domainEnglishFormat.kif 1937-1937
(termFormat ChineseLanguage performanceResult "表现结果") domainEnglishFormat.kif 45140-45140
(termFormat ChineseTraditionalLanguage performanceResult "表現結果") domainEnglishFormat.kif 45139-45139
(termFormat EnglishLanguage performanceResult "performance result") domainEnglishFormat.kif 45138-45138

consequent
-------------------------


(=>
    (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
(=>
    (benchmarkPerformance ?System ?Test ?Number)
    (exists (?Event)
        (and
            (instance ?Event MeasuringPerformance)
            (performanceResult ?Event ?System ?Number))))
QoSontology.kif 1045-1050
(=>
    (load ?System ?Load)
    (exists (?Event)
        (performanceResult ?Event ?System ?Load)))
QoSontology.kif 1846-1849


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