UnitOfLength |
appearance as argument number 1 |
![]() |
(documentation UnitOfLength ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 LengthMeasure 实例的 UnitOfMeasure。") | chinese_format.kif 2405-2406 | |
(documentation UnitOfLength EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of LengthMeasure.") | Merge.kif 6216-6218 | |
(subclass UnitOfLength NonCompositeUnitOfMeasure) | Merge.kif 6214-6214 | UnitOfLength 是 NonCompositeUnitOfMeasure 的 subclass |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |