No TPTP formula. May not be expressible in strict first order. 
Merge.kif 73847392 
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 1123211238 
The measure of a physical is a real number metric ton(s) if and only if the measure of the physical 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 a physical is a real number angular degree(s) if and only if the measure of the physical 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 a physical is a real number arc minute(s) if and only if the measure of the physical is 60 and the real number arc second(s) 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1097210977 
The measure of a physical is a real number Ounce(s) if and only if the measure of the physical is the real number and 16 pound mass(s) 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 20702080 

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 19581979 

No TPTP formula. May not be expressible in strict first order. 
FinancialOntology.kif 19812002 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 