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

Formal Language: 



KB Term:  Term intersection
English Word: 

  confidenceInterval

Sigma KEE - confidenceInterval
confidenceInterval

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 655-658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 660-660 The number 1 argument of confidence interval is an instance of experimenting
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 662-662 The number 2 argument of confidence interval is an instance of real number
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 651-651 confidence interval is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3067-3067
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3066-3066
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3065-3065
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 653-653

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 682-689
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 673-680
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 664-670


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