TreeView Knowledge Base Browser - MeasuringPerformance

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

MeasuringPerformance

Sigma KEE - MeasuringPerformance

MeasuringPerformance(measuring performance)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 884-886
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 883-883	Measuring performance is a subclass of computer process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36695-36695
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36694-36694
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36693-36693

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 940-940	The number 1 argument of performance result is an instance of measuring performance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 871-871	The number 1 argument of system measured is an instance of measuring performance

antecedent

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 888-894

If a process is an instance of measuring performance,
then there exist a computer program and an agent such that the computer program is an instance of monitoring program and the agent is a copy of the computer program and the agent is an agent of the process

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1045-1050	If a computational system benchmark performance a monitoring program for a real number, then there exists a measuring performance such that the measuring performance is an instance of measuring performance and the measuring performance is performance result the computational system for the real number

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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