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 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. 
Midlevelontology.kif 1760017604 
An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1761717621 
An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1838818393 

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

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

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

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

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

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

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

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

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