No TPTP formula. May not be expressible in strict first order. 
Merge.kif 73357343 
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 1125711263 
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 1099711002 
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. 
FinancialOntology.kif 19451963 

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

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 2367123680 

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

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

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

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

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

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

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

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 2370623718 

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 