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 829-831
(domain unitMeasuringPerformance 1 ComputerComponent) QoSontology.kif 827-827 The number 1 argument of unit measuring performance is an instance of computer component
(domain unitMeasuringPerformance 2 UnitOfMeasure) QoSontology.kif 828-828 The number 2 argument of unit measuring performance is an instance of unit of measure
(instance unitMeasuringPerformance BinaryPredicate) QoSontology.kif 826-826 unit measuring performance is an instance of binary predicate

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


(format EnglishLanguage unitMeasuringPerformance "%2 is %n an unit measuring performance of %1") domainEnglishFormat.kif 651-651
(termFormat EnglishLanguage unitMeasuringPerformance "unit measuring performance") domainEnglishFormat.kif 10497-10497 "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 943-952
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (unitMeasuringPerformance ?Instance ?Unit))
QoSontology.kif 899-901
(=>
    (instance ?CPU CPU)
    (unitMeasuringPerformance ?CPU InstructionsPerSecond))
QoSontology.kif 87-89
(=>
    (instance ?Component ComputerComponent)
    (exists (?Unit)
        (unitMeasuringPerformance ?Component ?Unit)))
QoSontology.kif 808-811
(=>
    (instance ?HardDrive HardDiskDrive)
    (unitMeasuringPerformance ?HardDrive BitsPerSecond))
QoSontology.kif 835-837
(=>
    (instance ?NA NetworkAdapter)
    (unitMeasuringPerformance ?NA PacketsPerSecond))
QoSontology.kif 841-843


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