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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - unitMeasuringPerformance
unitMeasuringPerformance

appearance as argument number 1
-------------------------


(documentation unitMeasuringPerformance EnglishLanguage "(unitMeasuringPerformance ?COMPONENT ?UNIT) holds in case ?UNIT is an instance of UnitOfMeasure which is used to measure the performance of ?COMPONENT.") QoSontology.kif 841-843
(domain unitMeasuringPerformance 1 ComputerComponent) QoSontology.kif 839-839 Il numero 1 argomenti di unitMeasuringPerformance è un istanza di ComputerComponent
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 840-840 Il numero 2 argomenti di unitMeasuringPerformance è un istanza di Unit�DiMisura
(instance unitMeasuringPerformance BinaryPredicate) QoSontology.kif 838-838 unitMeasuringPerformance è un' istanza di PredicatoBinario

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


(format ChineseLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量测性能") domainEnglishFormat.kif 2575-2575
(format ChineseTraditionalLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量測性能") domainEnglishFormat.kif 2574-2574
(format EnglishLanguage unitMeasuringPerformance "%2 is %n an unit measuring performance of %1") domainEnglishFormat.kif 2573-2573
(termFormat ChineseLanguage unitMeasuringPerformance "单位测量性能") domainEnglishFormat.kif 60436-60436
(termFormat ChineseTraditionalLanguage unitMeasuringPerformance "單位測量性能") domainEnglishFormat.kif 60435-60435
(termFormat EnglishLanguage unitMeasuringPerformance "unit measuring performance") domainEnglishFormat.kif 60434-60434

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
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (unitMeasuringPerformance ?Instance ?Unit))
QoSontology.kif 911-913
(=>
    (instance ?CPU CPU)
    (unitMeasuringPerformance ?CPU InstructionsPerSecond))
QoSontology.kif 87-89
(=>
    (instance ?Component ComputerComponent)
    (exists (?Unit)
        (unitMeasuringPerformance ?Component ?Unit)))
QoSontology.kif 820-823
(=>
    (instance ?HardDrive HardDiskDrive)
    (unitMeasuringPerformance ?HardDrive BitsPerSecond))
QoSontology.kif 847-849
(=>
    (instance ?NA NetworkAdapter)
    (unitMeasuringPerformance ?NA PacketsPerSecond))
QoSontology.kif 853-855


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