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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MeasuringPerformance
MeasuringPerformance

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 884-886
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 883-883 MeasuringPerformance è una sottoclasse di ComputerProcess

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


(termFormat ChineseLanguage MeasuringPerformance "测量性能") domainEnglishFormat.kif 36695-36695
(termFormat ChineseTraditionalLanguage MeasuringPerformance "測量性能") domainEnglishFormat.kif 36694-36694
(termFormat EnglishLanguage MeasuringPerformance "measuring performance") domainEnglishFormat.kif 36693-36693

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


(domain performanceResult 1 MeasuringPerformance) QoSontology.kif 940-940 Il numero 1 argomenti di performanceResult è un istanza di MeasuringPerformance
(domain systemMeasured 1 MeasuringPerformance) QoSontology.kif 871-871 Il numero 1 argomenti di systemMeasured è un istanza di MeasuringPerformance

antecedent
-------------------------


(=>
    (instance ?Event MeasuringPerformance)
    (exists (?Program ?Copy)
        (and
            (instance ?Program MonitoringProgram)
            (programCopy ?Copy ?Program)
            (agent ?Event ?Copy))))
QoSontology.kif 888-894

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


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