TreeView Knowledge Base Browser - performanceResult

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

performanceResult

Sigma KEE - performanceResult

performanceResult

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 943-945
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 940-940	Le nombre 1 argument de performanceResult est une instance de MeasuringPerformance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 941-941	Le nombre 2 argument de performanceResult est une instance de ComputerComponent
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 942-942	Le nombre 3 argument de performanceResult est une instance de nombre r�el
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 939-939	performanceResult est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1939-1939
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1938-1938
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1937-1937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45138-45138
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45137-45137
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45136-45136

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 955-964	monitorComponentData position temporel, cha�ne sympbolique and nombre r�el componentDataID position temporel, ComputerComponent, ComputerComponent, unit� de mesure and cha�ne sympbolique MeasuringPerformance MeasuringPerformance est une instance de MeasuringPerformance unitMeasuringPerformance ComputerComponent and unit� de mesure MeasuringPerformance existe pendant position temporel performanceResult MeasuringPerformance, ComputerComponent and nombre r�el
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1045-1050	benchmarkPerformance ComputationalSystem, MonitoringProgram and nombre r�el MeasuringPerformance MeasuringPerformance est une instance de MeasuringPerformance performanceResult MeasuringPerformance, ComputationalSystem and nombre r�el
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1846-1849	load ComputerComponent and nombre r�el MeasuringPerformance performanceResult MeasuringPerformance, ComputerComponent and nombre r�el

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