No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 698700 

No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 702702 
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 704704 
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 694694 
confidence interval is an instance of binary predicate 