No TPTP formula. May not be expressible in strict first order. 
Merge.kif 66586658 
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 66696669 
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 77407740 
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 1796917969 
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 13071307 
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 3116331163 
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 15391539 
The number 2 argument of cylinder bore is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Midlevelontology.kif 1338813388 
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 1345413454 
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 1350813508 
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 1342113421 
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 1337213372 
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 1343813438 
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 1348913489 
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 1340513405 
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 76967696 
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 77187718 
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 13811381 
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 18921892 
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 1805518055 
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 75527552 
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 50125012 
The number 3 argument of high tide is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 27102710 
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 