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 a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by another organism and the number and the other number 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 another integer) is equal to 1 and the population of the geopolitical area is equal to a third integer holds during the year the integer and the third integer and 1000 is equal to a quantity and a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by the organism and (the number and the other number) is equal to another quantity and the other quantity and the quantity is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2783727844 

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

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 2257422583 

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

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

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

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

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

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

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

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

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 60946096 
