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 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 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. 
Midlevelontology.kif 1795117955 
An object is an instance of bull if and only if the object is an instance of cow and male is an attribute of the object 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1798617990 
An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object 
No TPTP formula. May not be expressible in strict first order. 
Government.kif 12041210 

No TPTP formula. May not be expressible in strict first order. 
Government.kif 12121219 

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

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

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