No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1751917519 
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 75527552 
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 2582125821 

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

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