No TPTP formula. May not be expressible in strict first order. 
Merge.kif 79147922 
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 1093910945 
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. 
DimensioningAmenities.kif 2126 
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 2316523174 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 213222 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 223234 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 242251 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 253262 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 184193 

No TPTP formula. May not be expressible in strict first order. 
DimensioningAmenities.kif 194205 

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

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 2320023212 

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

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

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

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

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

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

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

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


Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 