No TPTP formula. May not be expressible in strict first order. 
People.kif 285306 
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 411442 
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 a number 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 323353 
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 a number 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 367398 
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 a number 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. 
Music.kif 290297 

No TPTP formula. May not be expressible in strict first order. 
Music.kif 952962 

No TPTP formula. May not be expressible in strict first order. 
Music.kif 307314 

No TPTP formula. May not be expressible in strict first order. 
Media.kif 801812 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

No TPTP formula. May not be expressible in strict first order. 
Music.kif 5358 

No TPTP formula. May not be expressible in strict first order. 
Hotel.kif 19791997 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 