![]() |
![]() ![]() ![]()
|
![]() |
|
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 6244-6245 | |
(documentation LengthMeasure JapaneseLanguage "ConstantQuantity の subclass、そのインス タンスは長さの尺度である。") | japanese_format.kif 1086-1087 | |
(externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") | pictureList.kif 8571-8571 | |
(subclass LengthMeasure ConstantQuantity) | Merge.kif 6242-6242 | Length measure is a subclass of constant quantity |
appearance as argument number 2 |
![]() |
(range DatumFn LengthMeasure) | Geography.kif 4836-4836 | The range of datum is an instance of length measure |
(range DiameterFn LengthMeasure) | Mid-level-ontology.kif 4922-4922 | The range of diameter is an instance of length measure |
(range RadiusFn LengthMeasure) | Mid-level-ontology.kif 4936-4936 | 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 ChineseLanguage LengthMeasure "长度测量") | chinese_format.kif 1303-1303 | |
(termFormat EnglishLanguage LengthMeasure "length measure") | english_format.kif 1823-1823 | |
(termFormat FrenchLanguage LengthMeasure "mesure de longueur") | french_format.kif 981-981 | |
(termFormat Hindi LengthMeasure "lambaaI maapa") | terms-hindi.txt 516-516 | |
(termFormat ItalianLanguage LengthMeasure "MisuraDiLunghezza") | terms-it.txt 520-520 | |
(termFormat JapaneseLanguage LengthMeasure "長さ測定") | japanese_format.kif 2665-2665 | |
(termFormat PortugueseLanguage LengthMeasure "Medida de Comprimento") | portuguese_format.kif 933-933 | |
(termFormat cz LengthMeasure "length measure") | terms-cz.txt 556-556 | |
(termFormat ro LengthMeasure "mãsurã de lungime") | relations-ro.kif 1002-1002 | |
(termFormat tg LengthMeasure "sukat ng haba") | terms-tg.txt 521-521 |
appearance as argument number 3 |
![]() |
(domain SpeedFn 1 LengthMeasure) | Merge.kif 6657-6657 | The number 1 argument of speed is an instance of length measure |
(domain VelocityFn 1 LengthMeasure) | Merge.kif 6668-6668 | The number 1 argument of velocity is an instance of length measure |
(domain altitude 3 LengthMeasure) | Merge.kif 7704-7704 | The number 3 argument of altitude is an instance of length measure |
(domain approximateDiameter 2 LengthMeasure) | Mid-level-ontology.kif 17891-17891 | The number 2 argument of approximate diameter is an instance of length measure |
(domain averageRainfallForPeriod 3 LengthMeasure) | Geography.kif 1307-1307 | The number 3 argument of average rainfall for period is an instance of length measure |
(domain caliber 2 LengthMeasure) | MilitaryDevices.kif 212-212 | The number 2 argument of caliber is an instance of length measure |
(domain circumfrence 2 LengthMeasure) | Mid-level-ontology.kif 31051-31051 | The number 2 argument of circumfrence is an instance of length measure |
(domain cylinderBore 2 LengthMeasure) | Cars.kif 1536-1536 | The number 2 argument of cylinder bore is an instance of length measure |
(domain defaultMaximumHeight 2 LengthMeasure) | Mid-level-ontology.kif 13333-13333 | The number 2 argument of default maximum height is an instance of length measure |
(domain defaultMaximumLength 2 LengthMeasure) | Mid-level-ontology.kif 13399-13399 | The number 2 argument of default maximum length is an instance of length measure |
(domain defaultMaximumSphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 13453-13453 | The number 2 argument of default maximum sphere radius is an instance of length measure |
(domain defaultMaximumWidth 2 LengthMeasure) | Mid-level-ontology.kif 13366-13366 | The number 2 argument of default maximum width is an instance of length measure |
(domain defaultMinimumHeight 2 LengthMeasure) | Mid-level-ontology.kif 13317-13317 | The number 2 argument of default minimum height is an instance of length measure |
(domain defaultMinimumLength 2 LengthMeasure) | Mid-level-ontology.kif 13383-13383 | The number 2 argument of default minimum length is an instance of length measure |
(domain defaultMinimumSphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 13434-13434 | The number 2 argument of default minimum sphere radius is an instance of length measure |
(domain defaultMinimumWidth 2 LengthMeasure) | Mid-level-ontology.kif 13350-13350 | The number 2 argument of default minimum width is an instance of length measure |
(domain diameter 2 LengthMeasure) | Merge.kif 7664-7664 | The number 2 argument of diameter is an instance of length measure |
(domain distance 3 LengthMeasure) | Merge.kif 7682-7682 | The number 3 argument of distance is an instance of length measure |
(domain effectiveRange 2 LengthMeasure) | Mid-level-ontology.kif 1360-1360 | The number 2 argument of effective range is an instance of length measure |
(domain elevation 2 LengthMeasure) | Geography.kif 1892-1892 | The number 2 argument of elevation is an instance of length measure |
(domain geometricDistance 3 LengthMeasure) | Merge.kif 17946-17946 | The number 3 argument of geometric distance is an instance of length measure |
(domain height 2 LengthMeasure) | Merge.kif 7551-7551 | The number 2 argument of height is an instance of length measure |
(domain highTide 3 LengthMeasure) | Geography.kif 4990-4990 | The number 3 argument of high tide is an instance of length measure |
(domain ladenDraft 2 LengthMeasure) | Transportation.kif 2677-2677 | The number 2 argument of laden draft is an instance of length measure |
(domain lengthOfBroadGaugeRailway 2 LengthMeasure) | Transportation.kif 175-175 | 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 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |