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 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 941-941 The number 2 argument of performance result is an instance of computer component
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 942-942 The number 3 argument of performance result is an instance of real number
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 939-939 performance result is an instance of ternary predicate

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
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1045-1050
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1846-1849


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