No TPTP formula. May not be expressible in strict first order. 
People.kif 221238 
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 174202 
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 a quantity) is equal to 1 and the population of the geopolitical area is equal to another quantity holds during the year the integer and the other quantity and 1000 is equal to a third quantity 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 fourth quantity and the fourth quantity and the third quantity is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2827828285 

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

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 2296622975 

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

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

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

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

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

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

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

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

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

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