|
|
   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 6306-6308 | |
| (documentation UnitOfAngularMeasure JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure で、MeasureFn と共に AngleMeasure のインスタンスを形成するのに使用でき る。") | japanese_format.kif 1114-1116 | |
| (subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) | Merge.kif 6304-6304 | Unit of angular measure is a subclass of non composite unit of measure |
| appearance as argument number 2 |
|
|
| (instance AngularDegree UnitOfAngularMeasure) | Merge.kif 7345-7345 | Angular degree is an instance of unit of angular measure |
| (instance ArcMinute UnitOfAngularMeasure) | Geography.kif 366-366 | Arc minute is an instance of unit of angular measure |
| (instance ArcSecond UnitOfAngularMeasure) | Geography.kif 385-385 | Arc second is an instance of unit of angular measure |
| (instance Radian UnitOfAngularMeasure) | Merge.kif 6796-6796 | Radian is an instance of unit of angular measure |
| (instance Steradian UnitOfAngularMeasure) | Merge.kif 6807-6807 | Steradian is an instance of unit of angular measure |
| (termFormat EnglishLanguage UnitOfAngularMeasure "unit of angular measure") | domainEnglishFormat.kif 65659-65659 |
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfAngularMeasure)) (instance ?QUANT AngleMeasure)) |
Merge.kif 6380-6384 |
|
| consequent |
|
|
|
|
|