No TPTP formula. May not be expressible in strict first order. 
Merge.kif 19211921 
Complex number is disjoint from real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 17371737 
Number is exhaustively partitioned into real number, imaginary number, and complex number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 9393 
The range of births per thousand is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 449449 
The range of children born per woman is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 35363536 
The range of clickthrough rate is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46264626 
The range of cosine is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 124124 
The range of deaths per thousand is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 245245 
The range of deaths per thousand live births is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 46454645 
The range of exponentiation is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 404404 
The range of female life expectancy at birth is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 312312 
The range of life expectancy at birth is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 47534753 
The range of lift is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 47784778 
The range of log is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 63156315 
The range of magnitude is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 359359 
The range of male life expectancy at birth is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 208208 
The range of male to female ratio is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 158158 
The range of migrants per thousand is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 32923292 
The range of qualifying purchases per user per interval is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 32533253 
The range of qualifying purchases per user is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
People.kif 6464 
The range of population growth is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 24792479 
The range of probability is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48634863 
The range of real number is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 48724872 
The range of 互相 is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 49344934 
The range of round is an instance of real number 
No TPTP formula. May not be expressible in strict first order. 
UXExperimentalTerms.kif 39173917 
The range of SRP Engagement is an instance of real number 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 