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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AngularDegree
AngularDegree

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


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

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


(termFormat ChineseLanguage AngularDegree "圆周角度") domainEnglishFormat.kif 7543-7543
(termFormat ChineseTraditionalLanguage AngularDegree "圓周角度") domainEnglishFormat.kif 7542-7542
(termFormat EnglishLanguage AngularDegree "angular degree") domainEnglishFormat.kif 7541-7541

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3569-3571
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 3593-3595
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3577-3579
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 3597-3599
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3581-3583
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 3601-3603
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3585-3587
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 3589-3591
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3573-3575
(<=>
    (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-474
(=>
    (and
        (instance ?A AcuteAngle)
        (angularMeasure ?A
            (MeasureFn ?N AngularDegree)))
    (lessThan ?N 90))		 Mid-level-ontology.kif 5176-5180
(=>
    (and
        (instance ?A ObliqueAngle)
        (angularMeasure ?A
            (MeasureFn ?N AngularDegree)))
    (greaterThan ?N 90))		 Mid-level-ontology.kif 5157-5161
(=>
    (equal ?QUANT
        (MeasureFn ?N AngularDegree))
    (instance ?QUANT PlaneAngleMeasure))		 Merge.kif 6940-6942
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (and
        (greaterThanOrEqualTo ?NUMBER 0.0)
        (lessThanOrEqualTo ?NUMBER 360.0)))		 Merge.kif 6948-6952
(=>
    (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 5168-5170
(=>
    (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 6954-6954
(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 6944-6946
(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65 AngularDegree)
        (MeasureFn 0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0 AngularDegree)
        (MeasureFn 0 ArcMinute)))		 Geography.kif 4390-4392


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