No TPTP formula. May not be expressible in strict first order. 
People.kif 225242 
The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 178206 
The migrants per thousand of a geopolitical area and the year an integer is equal to a real number if and only if (the integer and another real number) is equal to 1 and the population of the geopolitical area is equal to a third real number holds during the year the integer and the third real number and 1000 is equal to a fourth real number and another integer is equal to the number of instances in the class described by a symbolic string and a third integer is equal to the number of instances in the class described by the symbolic string and (the other integer and the third integer) is equal to a fifth real number and the fifth real number and the fourth real number is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2947029477 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2945429462 

No TPTP formula. May not be expressible in strict first order. 
MilitaryPersons.kif 2647 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2435624365 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1674216758 

No TPTP formula. May not be expressible in strict first order. 
Food.kif 256265 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2973829745 

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

No TPTP formula. May not be expressible in strict first order. 
Geography.kif 58495853 

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

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

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2998629993 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 66316638 

No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 59295931 
