TreeView Knowledge Base Browser - unitMeasuringPerformance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

unitMeasuringPerformance

Sigma KEE - unitMeasuringPerformance

unitMeasuringPerformance

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 841-843
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 839-839	The number 1 argument of unit measuring performance is an instance of computer component
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 840-840	The number 2 argument of unit measuring performance is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 838-838	unit measuring performance is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2575-2575
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2574-2574
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2573-2573
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60434-60434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60433-60433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60432-60432

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 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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 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