performanceResult - Sigma Knowledge base Browser

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 1049-1051
(domain performanceResult 1 MeasuringPerformance)	QoSontology.kif 1046-1046	The number 1 argument of performance result is an instance of measuring performance
(domain performanceResult 2 ComputerComponent)	QoSontology.kif 1047-1047	The number 2 argument of performance result is an instance of computer component
(domain performanceResult 3 RealNumber)	QoSontology.kif 1048-1048	The number 3 argument of performance result is an instance of real number
(instance performanceResult TernaryPredicate)	QoSontology.kif 1045-1045	performance result is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage performanceResult "%1 %n 是对于 %3 的 performance 结果 %2 ")	domainEnglishFormat.kif 1943-1943
(format ChineseTraditionalLanguage performanceResult "%1 %n 是對於 %3 的 performance 結果 %2 ")	domainEnglishFormat.kif 1942-1942
(format EnglishLanguage performanceResult "%1 is %n performance result %2 for %3")	domainEnglishFormat.kif 1941-1941
(termFormat ChineseLanguage performanceResult "表现结果")	domainEnglishFormat.kif 45169-45169
(termFormat ChineseTraditionalLanguage performanceResult "表現結果")	domainEnglishFormat.kif 45168-45168
(termFormat EnglishLanguage performanceResult "performance result")	domainEnglishFormat.kif 45167-45167

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 1061-1070	If a time position is monitor component data a symbolic string for a real number and another time position component dataID a kind of computer component for another computer component with an unit of measure and the symbolic string, then there exists a measuring performance such that the measuring performance is an instance of measuring performance and the unit of measure is an unit measuring performance of the other computer component and the measuring performance exists during the time position and the measuring performance is performance result the other computer component for the real number
(=> (benchmarkPerformance ?System ?Test ?Number) (exists (?Event) (and (instance ?Event MeasuringPerformance) (performanceResult ?Event ?System ?Number))))	QoSontology.kif 1151-1156	If a computational system benchmark performance a monitoring program for a real number, then there exists a measuring performance such that the measuring performance is an instance of measuring performance and the measuring performance is performance result the computational system for the real number
(=> (load ?System ?Load) (exists (?Event) (performanceResult ?Event ?System ?Load)))	QoSontology.kif 1952-1955	If the load on a computer component is a real number, then there exists a measuring performance such that the measuring performance is performance result the computer component for the real number

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