(domain SpeedFn 1 LengthMeasure) 
Merge.kif 66576657 
The number 1 argument of speed is an instance of length measure 
(domain VelocityFn 1 LengthMeasure) 
Merge.kif 66686668 
The number 1 argument of velocity is an instance of length measure 
(domain altitude 3 LengthMeasure) 
Merge.kif 77047704 
The number 3 argument of altitude is an instance of length measure 
(domain approximateDiameter 2 LengthMeasure) 
Midlevelontology.kif 1789117891 
The number 2 argument of approximate diameter is an instance of length measure 
(domain averageRainfallForPeriod 3 LengthMeasure) 
Geography.kif 13071307 
The number 3 argument of average rainfall for period is an instance of length measure 
(domain caliber 2 LengthMeasure) 
MilitaryDevices.kif 212212 
The number 2 argument of caliber is an instance of length measure 
(domain circumfrence 2 LengthMeasure) 
Midlevelontology.kif 3105131051 
The number 2 argument of circumfrence is an instance of length measure 
(domain cylinderBore 2 LengthMeasure) 
Cars.kif 15361536 
The number 2 argument of cylinder bore is an instance of length measure 
(domain defaultMaximumHeight 2 LengthMeasure) 
Midlevelontology.kif 1333313333 
The number 2 argument of default maximum height is an instance of length measure 
(domain defaultMaximumLength 2 LengthMeasure) 
Midlevelontology.kif 1339913399 
The number 2 argument of default maximum length is an instance of length measure 
(domain defaultMaximumSphereRadius 2 LengthMeasure) 
Midlevelontology.kif 1345313453 
The number 2 argument of default maximum sphere radius is an instance of length measure 
(domain defaultMaximumWidth 2 LengthMeasure) 
Midlevelontology.kif 1336613366 
The number 2 argument of default maximum width is an instance of length measure 
(domain defaultMinimumHeight 2 LengthMeasure) 
Midlevelontology.kif 1331713317 
The number 2 argument of default minimum height is an instance of length measure 
(domain defaultMinimumLength 2 LengthMeasure) 
Midlevelontology.kif 1338313383 
The number 2 argument of default minimum length is an instance of length measure 
(domain defaultMinimumSphereRadius 2 LengthMeasure) 
Midlevelontology.kif 1343413434 
The number 2 argument of default minimum sphere radius is an instance of length measure 
(domain defaultMinimumWidth 2 LengthMeasure) 
Midlevelontology.kif 1335013350 
The number 2 argument of default minimum width is an instance of length measure 
(domain diameter 2 LengthMeasure) 
Merge.kif 76647664 
The number 2 argument of diameter is an instance of length measure 
(domain distance 3 LengthMeasure) 
Merge.kif 76827682 
The number 3 argument of distance is an instance of length measure 
(domain effectiveRange 2 LengthMeasure) 
Midlevelontology.kif 13601360 
The number 2 argument of effective range is an instance of length measure 
(domain elevation 2 LengthMeasure) 
Geography.kif 18921892 
The number 2 argument of elevation is an instance of length measure 
(domain geometricDistance 3 LengthMeasure) 
Merge.kif 1794617946 
The number 3 argument of geometric distance is an instance of length measure 
(domain height 2 LengthMeasure) 
Merge.kif 75517551 
The number 2 argument of height is an instance of length measure 
(domain highTide 3 LengthMeasure) 
Geography.kif 49904990 
The number 3 argument of high tide is an instance of length measure 
(domain ladenDraft 2 LengthMeasure) 
Transportation.kif 26772677 
The number 2 argument of laden draft is an instance of length measure 
(domain lengthOfBroadGaugeRailway 2 LengthMeasure) 
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 