No TPTP formula. May not be expressible in strict first order. 
Merge.kif 72347242 
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 1120411210 
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 1094410949 
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 20492059 

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

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 1113611145 

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

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

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

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

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

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

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

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 1472714737 

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 