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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AngularDegree

Sigma KEE - AngularDegree
AngularDegree

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


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

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 7643-7645
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (and
        (greaterThanOrEqualTo ?NUMBER 0.0)
        (lessThanOrEqualTo ?NUMBER 360.0)))
Merge.kif 7651-7655
(=>
    (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 7657-7657
(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 7647-7649
(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65 AngularDegree)
        (MeasureFn 0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0 AngularDegree)
        (MeasureFn 0 ArcMinute)))
Geography.kif 4377-4379


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