![]() |
![]() ![]() ![]()
|
![]() |
|
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 6254-6255 | |
(documentation LengthMeasure JapaneseLanguage "ConstantQuantity の subclass、そのインス タンスは長さの尺度である。") | japanese_format.kif 1086-1087 | |
(externalImage LengthMeasure "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ CarpentersRule.png") | pictureList.kif 8570-8570 | |
(subclass LengthMeasure ConstantQuantity) | Merge.kif 6252-6252 | Length measure is a subclass of constant quantity |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain SpeedFn 1 LengthMeasure) | Merge.kif 6667-6667 | The number 1 argument of speed is an instance of length measure |
(domain VelocityFn 1 LengthMeasure) | Merge.kif 6678-6678 | The number 1 argument of velocity is an instance of length measure |
(domain altitude 3 LengthMeasure) | Merge.kif 7771-7771 | The number 3 argument of altitude is an instance of length measure |
(domain approximateDiameter 2 LengthMeasure) | Mid-level-ontology.kif 19513-19513 | The number 2 argument of approximate diameter is an instance of length measure |
(domain arcLength 2 LengthMeasure) | Mid-level-ontology.kif 5676-5676 | The number 2 argument of arc length is an instance of length measure |
(domain averageRainfallForPeriod 3 LengthMeasure) | Geography.kif 1301-1301 | The number 3 argument of average rainfall for period is an instance of length measure |
(domain caliber 2 LengthMeasure) | MilitaryDevices.kif 369-369 | The number 2 argument of caliber is an instance of length measure |
(domain circumference 2 LengthMeasure) | Mid-level-ontology.kif 33078-33078 | The number 2 argument of circumference is an instance of length measure |
(domain cylinderBore 2 LengthMeasure) | Cars.kif 1539-1539 | The number 2 argument of cylinder bore is an instance of length measure |
(domain defaultMaximumHeight 2 LengthMeasure) | Mid-level-ontology.kif 14700-14700 | The number 2 argument of default maximum height is an instance of length measure |
(domain defaultMaximumLength 2 LengthMeasure) | Mid-level-ontology.kif 14766-14766 | The number 2 argument of default maximum length is an instance of length measure |
(domain defaultMaximumSphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 14820-14820 | The number 2 argument of default maximum sphere radius is an instance of length measure |
(domain defaultMaximumWidth 2 LengthMeasure) | Mid-level-ontology.kif 14733-14733 | The number 2 argument of default maximum width is an instance of length measure |
(domain defaultMinimumHeight 2 LengthMeasure) | Mid-level-ontology.kif 14684-14684 | The number 2 argument of default minimum height is an instance of length measure |
(domain defaultMinimumLength 2 LengthMeasure) | Mid-level-ontology.kif 14750-14750 | The number 2 argument of default minimum length is an instance of length measure |
(domain defaultMinimumSphereRadius 2 LengthMeasure) | Mid-level-ontology.kif 14801-14801 | The number 2 argument of default minimum sphere radius is an instance of length measure |
(domain defaultMinimumWidth 2 LengthMeasure) | Mid-level-ontology.kif 14717-14717 | The number 2 argument of default minimum width is an instance of length measure |
(domain depth 3 LengthMeasure) | Merge.kif 7795-7795 | The number 3 argument of depth is an instance of length measure |
(domain diameter 2 LengthMeasure) | Merge.kif 7727-7727 | The number 2 argument of diameter is an instance of length measure |
(domain distance 3 LengthMeasure) | Merge.kif 7749-7749 | The number 3 argument of distance is an instance of length measure |
(domain distanceOfParallelLinesInSpace 3 LengthMeasure) | Mid-level-ontology.kif 27361-27361 | The number 3 argument of distance of of parallel lines in space is an instance of length measure |
(domain effectiveRange 2 LengthMeasure) | Mid-level-ontology.kif 1605-1605 | The number 2 argument of effective range is an instance of length measure |
(domain elevation 2 LengthMeasure) | Geography.kif 1880-1880 | The number 2 argument of elevation is an instance of length measure |
(domain geometricDistance 3 LengthMeasure) | Merge.kif 18147-18147 | The number 3 argument of geometric distance is an instance of length measure |
(domain height 2 LengthMeasure) | Merge.kif 7584-7584 | The number 2 argument of height is an instance of length measure |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |