UnitOfAngularMeasure
|
|
appearance as argument number 1 |
(documentation UnitOfAngularMeasure ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 AngleMeasure 实例的 UnitOfMeasure。") | chinese_format.kif 2425-2426 | |
(documentation UnitOfAngularMeasure EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of AngleMeasure.") | Merge.kif 6320-6322 | |
(documentation UnitOfAngularMeasure JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure で、MeasureFn と共に AngleMeasure のインスタンスを形成するのに使用でき る。") | japanese_format.kif 1114-1116 | |
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) | Merge.kif 6318-6318 | UnitOfAngularMeasure ist eine teilkategorie von NonCompositeUnitOfMeasure |
appearance as argument number 2 |
(instance AngularDegree UnitOfAngularMeasure) | Merge.kif 7359-7359 | AngularDegree ist ein fall von UnitOfAngularMeasure %n{nicht} |
(instance ArcMinute UnitOfAngularMeasure) | Geography.kif 366-366 | ArcMinute ist ein fall von UnitOfAngularMeasure %n{nicht} |
(instance ArcSecond UnitOfAngularMeasure) | Geography.kif 385-385 | ArcSecond ist ein fall von UnitOfAngularMeasure %n{nicht} |
(instance Radian UnitOfAngularMeasure) | Merge.kif 6810-6810 | Radian ist ein fall von UnitOfAngularMeasure %n{nicht} |
(instance Steradian UnitOfAngularMeasure) | Merge.kif 6821-6821 | Steradian ist ein fall von UnitOfAngularMeasure %n{nicht} |
(termFormat EnglishLanguage UnitOfAngularMeasure "unit of angular measure") | domainEnglishFormat.kif 65651-65651 |
antecedent |
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfAngularMeasure)) (instance ?QUANT AngleMeasure)) |
Merge.kif 6394-6398 |
|
consequent |