Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitOfAngularMeasure

Sigma KEE - UnitOfAngularMeasure
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 6232-6234
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) Merge.kif 6230-6230

appearance as argument number 2
-------------------------


(instance AngularDegree UnitOfAngularMeasure) Merge.kif 7271-7271
(instance ArcMinute UnitOfAngularMeasure) Geography.kif 366-366
(instance ArcSecond UnitOfAngularMeasure) Geography.kif 385-385
(instance Radian UnitOfAngularMeasure) Merge.kif 6722-6722
(instance Steradian UnitOfAngularMeasure) Merge.kif 6733-6733

antecedent
-------------------------


(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfAngularMeasure))
    (instance ?QUANT AngleMeasure))
Merge.kif 6306-6310

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 3517-3537


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners