No TPTP formula. May not be expressible in strict first order. 
Merge.kif 63776377 
The number 1 argument of speed is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 63886388 
The number 1 argument of velocity is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 73307330 
The number 3 argument of altitude is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1452214522 
The number 2 argument of approximate diameter is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 12971297 
The number 3 argument of average rainfall for period is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
MilitaryDevices.kif 212212 
The number 2 argument of caliber is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 2734727347 
The number 2 argument of circumfrence is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Cars.kif 15501550 
The number 2 argument of cylinderBore is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1015610156 
The number 2 argument of default maximum height is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1022510225 
The number 2 argument of default maximum length is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1028010280 
The number 2 argument of default maximum sphere radius is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1019110191 
The number 2 argument of default maximum width is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1013910139 
The number 2 argument of default minimum height is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1020910209 
The number 2 argument of default minimum length is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1026110261 
The number 2 argument of default minimum sphere radius is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1017410174 
The number 2 argument of default minimum width is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 72907290 
The number 2 argument of diameter is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 73087308 
The number 3 argument of distance is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 13271327 
The number 2 argument of effective range is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 18631863 
The number 2 argument of elevation is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 1671316713 
The number 3 argument of geometric distance is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Merge.kif 72197219 
The number 2 argument of height is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Geography.kif 47964796 
The number 3 argument of highTide is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 26842684 
The number 2 argument of laden draft is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 175175 
The number 2 argument of length of broad gauge railway is an instance of length measure 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 