No TPTP formula. May not be expressible in strict first order. 
Merge.kif 29832999 
A list is equal to the list composed of another list and a third list and the other list is not equal to null list and the third list is not equal to null list if and only if for all a positive integer and another positive integer 
No TPTP formula. May not be expressible in strict first order. 
People.kif 289310 
A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer 
No TPTP formula. May not be expressible in strict first order. 
People.kif 415446 
The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 31093114 
The last of a list is equal to an entity if and only if there exists a positive integer such that length of the list is equal to the positive integer and the positive integerth element of the list is equal to the entity 
No TPTP formula. May not be expressible in strict first order. 
People.kif 327357 
The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list 
No TPTP formula. May not be expressible in strict first order. 
People.kif 371402 
The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM and the real number is an average of the list 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 31703177 

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 31513161 

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

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

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

No TPTP formula. May not be expressible in strict first order. 
Merge.kif 29482955 

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

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

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

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

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