No TPTP formula. May not be expressible in strict first order. 
Weather.kif 14441445 

No TPTP formula. May not be expressible in strict first order. 
Weather.kif 14421443 

No TPTP formula. May not be expressible in strict first order. 
Weather.kif 14461446 
The number 1 argument of variance average function is an instance of number 
No TPTP formula. May not be expressible in strict first order. 
Weather.kif 14471447 
The number 2 argument of variance average function is an instance of list 
No TPTP formula. May not be expressible in strict first order. 
Weather.kif 14481448 
Variance average function is an instance of binary function 
No TPTP formula. May not be expressible in strict first order. 
Weather.kif 14511451 
The range of variance average function is an instance of number 