unitMeasuringPerformance - Sigma Knowledge base Browser

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

appearance as argument number 2

(format ChineseLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量测性能")	domainEnglishFormat.kif 2567-2567
(format ChineseTraditionalLanguage unitMeasuringPerformance "%2 %n 是 %1 的 unit 量測性能")	domainEnglishFormat.kif 2566-2566
(format EnglishLanguage unitMeasuringPerformance "%2 is %n an unit measuring performance of %1")	domainEnglishFormat.kif 2565-2565
(termFormat ChineseLanguage unitMeasuringPerformance "单位测量性能")	domainEnglishFormat.kif 60482-60482
(termFormat ChineseTraditionalLanguage unitMeasuringPerformance "單位測量性能")	domainEnglishFormat.kif 60481-60481
(termFormat EnglishLanguage unitMeasuringPerformance "unit measuring performance")	domainEnglishFormat.kif 60480-60480

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	If a time position is monitor component data a symbolic string for a real number and another time position component dataID a kind of computer component for another computer component with an unit of measure and the symbolic string, then there exists a measuring performance such that the measuring performance is an instance of measuring performance and the unit of measure is an unit measuring performance of the other computer component and the measuring performance exists during the time position and the measuring performance is performance result the other computer component for the real number
(=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (unitMeasuringPerformance ?Instance ?Unit))	QoSontology.kif 911-913	If a time position component dataID a kind of computer component for another computer component with an unit of measure and a symbolic string, then the unit of measure is an unit measuring performance of the other computer component
(=> (instance ?CPU CPU) (unitMeasuringPerformance ?CPU InstructionsPerSecond))	QoSontology.kif 87-89	If a computer component is an instance of CPU, then instructions per second is an unit measuring performance of the computer component
(=> (instance ?Component ComputerComponent) (exists (?Unit) (unitMeasuringPerformance ?Component ?Unit)))	QoSontology.kif 820-823	If a computer component is an instance of computer component, then there exists an unit of measure such that the unit of measure is an unit measuring performance of the computer component
(=> (instance ?HardDrive HardDiskDrive) (unitMeasuringPerformance ?HardDrive BitsPerSecond))	QoSontology.kif 847-849	If a computer component is an instance of hard disk drive, then bits per second is an unit measuring performance of the computer component
(=> (instance ?NA NetworkAdapter) (unitMeasuringPerformance ?NA PacketsPerSecond))	QoSontology.kif 853-855	If a computer component is an instance of network adapter, then packets per second is an unit measuring performance of the computer component

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