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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - benchmarkPerformance
benchmarkPerformance

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1041-1043
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1038-1038 The number 1 argument of benchmark performance is an instance of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1039-1039 The number 2 argument of benchmark performance is an instance of monitoring program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1040-1040 The number 3 argument of benchmark performance is an instance of quantity
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1037-1037 benchmark performance is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 272-272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 271-271
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 270-270
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10727-10727
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10726-10726
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10725-10725

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1045-1050


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