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

No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 603603 
The number 1 argument of t test result is an instance of collection 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 604604 
The number 2 argument of t test result is an instance of collection 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 605605 
The number 3 argument of t test result is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 595595 
t test result is an instance of ternary predicate 