MeasuringPerformance - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MeasuringPerformance EnglishLanguage "Each element of MeasuringPerformance is an event of measuring the performance of an instance of ComputerComponent, performed by a MonitoringProgram.")	QoSontology.kif 990-992
(subclass MeasuringPerformance ComputerProcess)	QoSontology.kif 989-989	Measuring performance is a subclass of computer process

appearance as argument number 2

(termFormat ChineseLanguage MeasuringPerformance "测量性能")	domainEnglishFormat.kif 36721-36721
(termFormat ChineseTraditionalLanguage MeasuringPerformance "測量性能")	domainEnglishFormat.kif 36720-36720
(termFormat EnglishLanguage MeasuringPerformance "measuring performance")	domainEnglishFormat.kif 36719-36719

appearance as argument number 3

(domain performanceResult 1 MeasuringPerformance)	QoSontology.kif 1046-1046	The number 1 argument of performance result is an instance of measuring performance
(domain systemMeasured 1 MeasuringPerformance)	QoSontology.kif 977-977	The number 1 argument of system measured is an instance of measuring performance

antecedent

(=>
    (instance ?Event MeasuringPerformance)
    (exists (?Program ?Copy)
        (and
            (instance ?Program MonitoringProgram)
            (programCopy ?Copy ?Program)
            (agent ?Event ?Copy))))

QoSontology.kif 994-1000

If a process is an instance of measuring performance,
then there exist a computer program and an agent such that the computer program is an instance of monitoring program and the agent is a copy of the computer program and the agent is an agent of the process

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

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

KB Term:			Term intersection

English Word: