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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6320-6322
(documentation UnitOfAngularMeasure JapaneseLanguage "この Class のすべてのインスタンスは、 UnitOfMeasure で、MeasureFn と共に AngleMeasure のインスタンスを形成するのに使用でき る。") japanese_format.kif 1114-1116
(subclass UnitOfAngularMeasure NonCompositeUnitOfMeasure) Merge.kif 6318-6318 UnitOfAngularMeasure est une sous-classe de NonCompositeUnitOfMeasure

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


(instance AngularDegree UnitOfAngularMeasure) Merge.kif 7359-7359 AngularDegree est une instance de UnitOfAngularMeasure
(instance ArcMinute UnitOfAngularMeasure) Geography.kif 366-366 ArcMinute est une instance de UnitOfAngularMeasure
(instance ArcSecond UnitOfAngularMeasure) Geography.kif 385-385 ArcSecond est une instance de UnitOfAngularMeasure
(instance Radian UnitOfAngularMeasure) Merge.kif 6810-6810 Radian est une instance de UnitOfAngularMeasure
(instance Steradian UnitOfAngularMeasure) Merge.kif 6821-6821 Steradian est une instance de UnitOfAngularMeasure
(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
-------------------------


(=>
    (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


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



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