No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1119611204 
An object is larger than another object if and only if for all a real number, another real number and an unit of measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1120011206 
The measure of an object is a real number metric ton(s) if and only if the measure of the object is the real number and 2205 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 378380 
The measure of an object is a real number angular degree(s) if and only if the measure of the object is 60 and the real number arc minute(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 397399 
The measure of an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(s) 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1094010945 
The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 20372047 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 