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 839-841
(domain unitMeasuringPerformance 1 ComputerComponent) QoSontology.kif 837-837 The number 1 argument of unit measuring performance is an instance of computer component
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 838-838 The number 2 argument of unit measuring performance is an instance of unit of measure
(instance unitMeasuringPerformance BinaryPredicate) QoSontology.kif 836-836 unit measuring performance is an instance of binary predicate

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


(format ChineseLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量测性能") domainEnglishFormat.kif 2571-2571
(format ChineseTraditionalLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量測性能") domainEnglishFormat.kif 2570-2570
(format EnglishLanguage unitMeasuringPerformance "%2 is %n an unit measuring performance of %1") domainEnglishFormat.kif 2569-2569
(termFormat ChineseLanguage unitMeasuringPerformance "单位测量性能") domainEnglishFormat.kif 60379-60379 "单位测量性能" is the printable form of unit measuring performance in ChineseLanguage
(termFormat ChineseTraditionalLanguage unitMeasuringPerformance "單位測量性能") domainEnglishFormat.kif 60378-60378 "單位測量性能" is the printable form of unit measuring performance in ChineseTraditionalLanguage
(termFormat EnglishLanguage unitMeasuringPerformance "unit measuring performance") domainEnglishFormat.kif 60377-60377 "unit measuring performance" is the printable form of unit measuring performance in english language

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
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (unitMeasuringPerformance ?Instance ?Unit))
QoSontology.kif 909-911
(=>
    (instance ?CPU CPU)
    (unitMeasuringPerformance ?CPU InstructionsPerSecond))
QoSontology.kif 87-89
(=>
    (instance ?Component ComputerComponent)
    (exists (?Unit)
        (unitMeasuringPerformance ?Component ?Unit)))
QoSontology.kif 818-821
(=>
    (instance ?HardDrive HardDiskDrive)
    (unitMeasuringPerformance ?HardDrive BitsPerSecond))
QoSontology.kif 845-847
(=>
    (instance ?NA NetworkAdapter)
    (unitMeasuringPerformance ?NA PacketsPerSecond))
QoSontology.kif 851-853


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners