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

No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 474474 
The number 1 argument of statistical population is an instance of collection 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 475475 
The number 2 argument of statistical population is an instance of collection 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 476476 
The number 3 argument of statistical population is an instance of experimenting 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 473473 
statistical population is an instance of ternary predicate 