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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 941-943
(domain performanceResult 1 MeasuringPerformance) QoSontology.kif 938-938 表现结果 的 1 数量 是 测量性能instance
(domain performanceResult 2 ComputerComponent) QoSontology.kif 939-939 表现结果 的 2 数量 是 电脑组件instance
(domain performanceResult 3 RealNumber) QoSontology.kif 940-940 表现结果 的 3 数量 是 实数instance
(instance performanceResult TernaryPredicate) QoSontology.kif 937-937 表现结果三元谓语instance

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 45121-45121
(termFormat ChineseTraditionalLanguage performanceResult "表現結果") domainEnglishFormat.kif 45120-45120
(termFormat EnglishLanguage performanceResult "performance result") domainEnglishFormat.kif 45119-45119

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 953-962
(=>
    (benchmarkPerformance ?System ?Test ?Number)
    (exists (?Event)
        (and
            (instance ?Event MeasuringPerformance)
            (performanceResult ?Event ?System ?Number))))
QoSontology.kif 1050-1055
(=>
    (load ?System ?Load)
    (exists (?Event)
        (performanceResult ?Event ?System ?Load)))
QoSontology.kif 1851-1854


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