LengthMeasure(长度测量)![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation LengthMeasure ChineseLanguage "这是 ConstantQuantity 的 subclass,它的实例 都是用来量度长度的。") | chinese_format.kif 2403-2404 | |
(documentation LengthMeasure EnglishLanguage "A subclass of ConstantQuantity, instances of which are measures of length.") | Merge.kif 6211-6212 | |
(externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") | pictureList.kif 8572-8572 | |
(subclass LengthMeasure ConstantQuantity) | Merge.kif 6209-6209 | 长度测量 是 恒量 的 subclass |
appearance as argument number 2 |
![]() |
(range DatumFn LengthMeasure) | Geography.kif 4767-4767 | 基准 的 range 是 长度测量 的实例 |
(range DiameterFn LengthMeasure) | Mid-level-ontology.kif 4910-4910 | 直径 的 range 是 长度测量 的实例 |
(range RadiusFn LengthMeasure) | Mid-level-ontology.kif 4924-4924 | 半径 的 range 是 长度测量 的实例 |
(subclass AltitudeMeasure LengthMeasure) | MilitaryDevices.kif 1498-1498 | 高度测量 是 长度测量 的 subclass |
(termFormat ChineseLanguage LengthMeasure "长度测量") | chinese_format.kif 1303-1303 | |
(termFormat EnglishLanguage LengthMeasure "length measure") | english_format.kif 1823-1823 |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
consequent |
![]() |
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfLength)) (instance ?QUANT LengthMeasure)) |
Merge.kif 6325-6329 | |
(=> (instance ?RUNWAY Runway) (exists (?LENGTH) (and (instance ?LENGTH LengthMeasure) (length ?RUNWAY ?LENGTH)))) |
Transportation.kif 1305-1310 | |
(=> (instance ?ZONE UniformPerimeterArea) (exists (?WIDTH) (and (instance ?WIDTH LengthMeasure) (width ?ZONE ?WIDTH)))) |
Geography.kif 837-842 |
![]() |
![]() |