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

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