No TPTP formula. May not be expressible in strict first order. 
People.kif 238264 
A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to another real number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the other real number is equal to the real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 19481952 
A real number is an instance of negative real number if and only if the real number is less than 0 and the real number is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 18671871 
A real number is less than or equal to another real number if and only if the real number is equal to the other real number or the real number is less than the other real number 
No TPTP formula. May not be expressible in strict first order. 
Medicine.kif 172187 

No TPTP formula. May not be expressible in strict first order. 
Medicine.kif 155170 

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

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

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

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

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 11481156 

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

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

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

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

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

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

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

No TPTP formula. May not be expressible in strict first order. 
Dining.kif 772795 

No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 13911400 

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

No TPTP formula. May not be expressible in strict first order. 
Weather.kif 892898 

No TPTP formula. May not be expressible in strict first order. 
Weather.kif 882890 

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

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

No TPTP formula. May not be expressible in strict first order. 
Medicine.kif 620630 


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 