Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReadOnlyMemoryDataStorage

Sigma KEE - benchmarkPerformance
benchmarkPerformance

appearance as argument number 1
-------------------------


(documentation benchmarkPerformance EnglishLanguage "(benchmarkPerformance ?SYSTEM ?TEST ?NUMBER) holds if ?NUMBER is a benchmark for measuring the performance of an instance of a ComputationalSystem.") QoSontology.kif 1041-1043
(domain benchmarkPerformance 1 ComputationalSystem) QoSontology.kif 1038-1038 Le nombre 1 argument de benchmarkPerformance est une instance de ComputationalSystem
(domain benchmarkPerformance 2 MonitoringProgram) QoSontology.kif 1039-1039 Le nombre 2 argument de benchmarkPerformance est une instance de MonitoringProgram
(domain benchmarkPerformance 3 Quantity) QoSontology.kif 1040-1040 Le nombre 3 argument de benchmarkPerformance est une instance de quantit�
(instance benchmarkPerformance TernaryPredicate) QoSontology.kif 1037-1037 benchmarkPerformance est une instance de pr�dicat ternaire

appearance as argument number 2
-------------------------


(format ChineseLanguage benchmarkPerformance "%1 %n{不} 對於 %3 benchmark 性能 %2") domainEnglishFormat.kif 272-272
(format ChineseTraditionalLanguage benchmarkPerformance "%1 %n{不對} %3 benchmark 性能 %2") domainEnglishFormat.kif 271-271
(format EnglishLanguage benchmarkPerformance "%1 %n{doesn't} benchmark performance %2 for %3") domainEnglishFormat.kif 270-270
(termFormat ChineseLanguage benchmarkPerformance "基准表现") domainEnglishFormat.kif 10727-10727
(termFormat ChineseTraditionalLanguage benchmarkPerformance "基準表現") domainEnglishFormat.kif 10726-10726
(termFormat EnglishLanguage benchmarkPerformance "benchmark performance") domainEnglishFormat.kif 10725-10725

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