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 947-949
(domain unitMeasuringPerformance 1 ComputerComponent)	QoSontology.kif 945-945	The number 1 argument of unit measuring performance is an instance of computer component
(domain unitMeasuringPerformance 2 UnitOfMeasure)	QoSontology.kif 946-946	The number 2 argument of unit measuring performance is an instance of unit of measure
(instance unitMeasuringPerformance BinaryPredicate)	QoSontology.kif 944-944	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 60457-60457
(termFormat ChineseTraditionalLanguage unitMeasuringPerformance "單位測量性能")	domainEnglishFormat.kif 60456-60456
(termFormat EnglishLanguage unitMeasuringPerformance "unit measuring performance")	domainEnglishFormat.kif 60455-60455

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 1061-1070	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 1017-1019	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 926-929	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 953-955	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 959-961	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