No TPTP formula. May not be expressible in strict first order. 
Merge.kif 62416241 
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 62526252 
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 71817181 
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 1564615646 
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 12911291 
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. 
Cars.kif 15311531 
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 1097810978 
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 1103811038 
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 1108711087 
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 1100811008 
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 1096310963 
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 1102311023 
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 1107011070 
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 1099310993 
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 71427142 
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 71607160 
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 17671767 
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 18451845 
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 1654116541 
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 70727072 
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 46934693 
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 26462646 
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 172172 
The number 2 argument of length of broad gauge railway is an instance of length measure 
No TPTP formula. May not be expressible in strict first order. 
Transportation.kif 695695 
The number 2 argument of length of crude oil pipeline is an instance of length measure 

Display limited to 25 items. Show next 25 

Display limited to 25 items. Show next 25 