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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AngularDegree
AngularDegreeangular_degree, arcdegree, degree

appearance as argument number 1
-------------------------


(documentation AngularDegree ChineseLanguage "这是一种量度平面角度的单位。") Merge.kif 7628-7628
(documentation AngularDegree EnglishLanguage "A plane angle measure.") Merge.kif 7627-7627
(instance AngularDegree UnitOfAngularMeasure) Merge.kif 7626-7626

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


(termFormat EnglishLanguage AngularDegree "angular degree") domainEnglishFormat.kif 1690-1690

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3556-3558
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 3580-3582
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3564-3566
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 3584-3586
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3568-3570
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 3588-3590
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3572-3574
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 3576-3578
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3560-3562
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))		 Geography.kif 378-380
(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90))		 Geography.kif 427-431
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180))		 Geography.kif 467-471
(=>
    (and
        (instance ?A AcuteAngle)
        (angularMeasure ?A
            (MeasureFn ?N AngularDegree)))
    (lessThan ?N 90))		 Mid-level-ontology.kif 5181-5185
(=>
    (and
        (instance ?A ObliqueAngle)
        (angularMeasure ?A
            (MeasureFn ?N AngularDegree)))
    (greaterThan ?N 90))		 Mid-level-ontology.kif 5162-5166
(=>
    (equal ?QUANT
        (MeasureFn ?N AngularDegree))
    (instance ?QUANT PlaneAngleMeasure))		 Merge.kif 7630-7632
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (and
        (greaterThanOrEqualTo ?NUMBER 0.0)
        (lessThanOrEqualTo ?NUMBER 360.0)))		 Merge.kif 7638-7642
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (greaterThanOrEqualTo ?NUMBER 0))		 Geography.kif 358-360
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (lessThanOrEqualTo ?NUMBER 360))		 Geography.kif 362-364

consequent
-------------------------


(=>
    (instance ?A RightAngle)
    (angularMeasure ?A
        (MeasureFn 90 AngularDegree)))		 Mid-level-ontology.kif 5173-5175
(=>
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
    (length
        (LatitudeFn ?DIRECTION
            (MeasureFn 0 AngularDegree)
            (MeasureFn 1 ArcMinute)
            (MeasureFn 0 ArcSecond))
        (MeasureFn 1 NauticalMile)))		 Geography.kif 433-440

statement
-------------------------


(equal
    (MeasureFn 0.0 AngularDegree)
    (MeasureFn 360.0 AngularDegree))		 Merge.kif 7644-7644
(equal
    (MeasureFn 1 AngularDegree)
    (MeasureFn 60 ArcMinute))		 Geography.kif 382-382
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60 ?NUM) ArcMinute))		 Geography.kif 383-383
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))		 Merge.kif 7634-7636
(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65 AngularDegree)
        (MeasureFn 0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0 AngularDegree)
        (MeasureFn 0 ArcMinute)))		 Geography.kif 4378-4380


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners