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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeasuringPerformance

Sigma KEE - MeasuringPerformance
MeasuringPerformance(measuring performance)

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 882-884
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 881-881 Measuring performance is a subclass of computer process

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


(termFormat ChineseLanguage MeasuringPerformance "测量性能") domainEnglishFormat.kif 36678-36678
(termFormat ChineseTraditionalLanguage MeasuringPerformance "測量性能") domainEnglishFormat.kif 36677-36677
(termFormat EnglishLanguage MeasuringPerformance "measuring performance") domainEnglishFormat.kif 36676-36676

appearance as argument number 3
-------------------------


(domain performanceResult 1 MeasuringPerformance) QoSontology.kif 938-938 The number 1 argument of performance result is an instance of measuring performance
(domain systemMeasured 1 MeasuringPerformance) QoSontology.kif 869-869 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 886-892

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


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