UnitOfAngularMeasure - Sigma Knowledge base Browser

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 6321-6323
(documentation UnitOfAngularMeasure JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure で、MeasureFn と共に AngleMeasure のインスタンスを形成するのに使用できる。")	japanese_format.kif 1114-1116
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure)	Merge.kif 6319-6319	UnitOfAngularMeasure は NonCompositeUnitOfMeasure の subclass では %n

appearance as argument number 2

(instance AngularDegree UnitOfAngularMeasure)	Merge.kif 7360-7360	AngularDegree は UnitOfAngularMeasure の instance では %n
(instance ArcMinute UnitOfAngularMeasure)	Geography.kif 366-366	ArcMinute は UnitOfAngularMeasure の instance では %n
(instance ArcSecond UnitOfAngularMeasure)	Geography.kif 385-385	ArcSecond は UnitOfAngularMeasure の instance では %n
(instance Radian UnitOfAngularMeasure)	Merge.kif 6811-6811	Radian は UnitOfAngularMeasure の instance では %n
(instance Steradian UnitOfAngularMeasure)	Merge.kif 6822-6822	Steradian は UnitOfAngularMeasure の instance では %n
(termFormat EnglishLanguage UnitOfAngularMeasure "unit of angular measure")	domainEnglishFormat.kif 65653-65653

antecedent

(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfAngularMeasure))
    (instance ?QUANT AngleMeasure))

Merge.kif 6395-6399

consequent

(=>
    (and
        (instance ?PLACE GeographicArea)
        (located ?PLACE ?T)
        (instance ?T Tropics))
    (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
        (and
            (objectGeographicCoordinates ?PLACE
                (MeasureFn ?NUM1 ?U) ?LONG)
            (instance ?U UnitOfAngularMeasure)
            (lessThan ?NUM1 ?NUM2)
            (equal
                (MeasureFn ?NUM2 ?U)
                (LatitudeFn ?DIR
                    (MeasureFn 23.0 AngularDegree)
                    (MeasureFn 26.0 ArcMinute)
                    (MeasureFn 11.5 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))

Geography.kif 3595-3615