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

Formal Language: 



KB Term:  Term intersection
English Word: 

  responseRate

Sigma KEE - responseRate
responseRate

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1769-1770
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1767-1767 The number 1 argument of response rate is an instance of computer response
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1768-1768 The number 2 argument of response rate is an instance of time duration
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1766-1766 response rate is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1765-1765 response rate is a subrelation of frequency

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4430-4430
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4429-4429
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4428-4428
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49754-49754
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49753-49753
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49752-49752


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