TreeView Knowledge Base Browser - UnitOfAngularMeasure

antecedent

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

consequent

(=>
    (and
        (instance ?PLACE GeographicArea)
        (located ?PLACE 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 9.4 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))

If X is an instance of geographic area and X is located at tropics, then there exist Y, Z,, , W,, , V and U such that X is object geographic coordinates Y U(s) for Z and U is an instance of unit of angular measure and Y is less than V and equal V U(s) and the region W of 23.0 angular degree(s) and W is an instance of directional attribute and equal W and north of or equal W and south of

(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure)	Merge.kif 6437-6437	Unit of angular measure is a subclass of non composite unit of measure
(documentation UnitOfAngularMeasure EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of AngleMeasure.")	Merge.kif 6439-6441	Unit of angular measure is a subclass of non composite unit of measure

(instance Radian UnitOfAngularMeasure)	Merge.kif 6929-6929	Radian is an instance of unit of angular measure
(instance Steradian UnitOfAngularMeasure)	Merge.kif 6940-6940	Steradian is an instance of unit of angular measure
(instance AngularDegree UnitOfAngularMeasure)	Merge.kif 7497-7497	Angular degree is an instance of unit of angular measure
(instance ArcMinute UnitOfAngularMeasure)	Geography.kif 1846-1846	Arc minute is an instance of unit of angular measure
(instance ArcSecond UnitOfAngularMeasure)	Geography.kif 1865-1865	Arc second is an instance of unit of angular measure
(instance Milliradian UnitOfAngularMeasure)	MilitaryDevices.kif 321-321	Milliradian is an instance of unit of angular measure
(termFormat EnglishLanguage UnitOfAngularMeasure "unit of angular measure")	domainEnglishFormat.kif 65654-65654	Milliradian is an instance of unit of angular measure