No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1778117781 
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 76407640 
The range of center of circle is an instance of geometric point 
No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 2583025830 

No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 2582925829 

No TPTP formula. May not be expressible in strict first order. 
domainEnglishFormat.kif 2582825828 
