| LengthMeasure(length measure)
| | breast-deep, breast-high, divergence, divergency, eightpenny, fourpenny, knee-deep, knee-high, latitudinal, leg, longitudinal, ninepenny, stand, threepenny, waist-deep, waist-high |
| appearance as argument number 1 |
|
|
| (documentation LengthMeasure EnglishLanguage "A subclass of constant quantity, instances of which are measures of length.") | Merge.kif 4961-4962 | |
| (externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") | pictureList.kif 8605-8605 | externalImage length measure and "http://upload.wikimedia.org/wikipedia/commons/6/6c/ CarpentersRule.png" |
| (subclass LengthMeasure ConstantQuantity) | Merge.kif 4960-4960 | Length measure is a subclass of constant quantity |
| appearance as argument number 2 |
|
|
| (range DatumFn LengthMeasure) | Geography.kif 4439-4439 | The range of datum is an instance of length measure |
| (range DiameterFn LengthMeasure) | Mid-level-ontology.kif 13150-13150 | The range of diameter is an instance of length measure |
| (range RadiusFn LengthMeasure) | Mid-level-ontology.kif 13164-13164 | The range of radius is an instance of length measure |
| (subclass AltitudeMeasure LengthMeasure) | MilitaryDevices.kif 1498-1498 | Altitude measure is a subclass of length measure |
| (termFormat EnglishLanguage LengthMeasure "length measure") | english_format.kif 980-980 | term format english language, length measure and "length measure" |
| appearance as argument number 3 |
|
|
| consequent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfLength)) (instance ?QUANT LengthMeasure)) |
Merge.kif 5057-5061 |
|
| (=> (instance ?RUNWAY Runway) (exists (?LENGTH) (and (instance ?LENGTH LengthMeasure) (length ?RUNWAY ?LENGTH)))) |
Transportation.kif 1448-1453 |
|
| (=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH)))) |
Geography.kif 796-801 |
|
|
|
|