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 7361-7361
(documentation AngularDegree JapaneseLanguage "平面角度メジャー。") japanese_format.kif 1332-1332
(instance AngularDegree UnitOfAngularMeasure) Merge.kif 7359-7359 AngularDegree ist ein fall von UnitOfAngularMeasure %n{nicht}

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


(termFormat ChineseLanguage AngularDegree "圆周角度") domainEnglishFormat.kif 7536-7536
(termFormat ChineseTraditionalLanguage AngularDegree "圓周角度") domainEnglishFormat.kif 7535-7535
(termFormat EnglishLanguage AngularDegree "angular degree") domainEnglishFormat.kif 7534-7534

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3731-3733 courseWRTTrueNorth Object, ** Object and 0.0 AngularDegree(s) genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht}
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 3755-3757 courseWRTTrueNorth Object, ** Object and 135.0 AngularDegree(s) genau dann wenn ** Object ist Southeast hinsichlich ** ** Object %n{nicht}
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3739-3741 courseWRTTrueNorth Object, ** Object and 180.0 AngularDegree(s) genau dann wenn ** Object ist South hinsichlich ** ** Object %n{nicht}
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 3759-3761 courseWRTTrueNorth Object, ** Object and 225.0 AngularDegree(s) genau dann wenn ** Object ist Southwest hinsichlich ** ** Object %n{nicht}
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3743-3745 courseWRTTrueNorth Object, ** Object and 270.0 AngularDegree(s) genau dann wenn ** Object ist West hinsichlich ** ** Object %n{nicht}
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 3763-3765 courseWRTTrueNorth Object, ** Object and 315.0 AngularDegree(s) genau dann wenn ** Object ist Northwest hinsichlich ** ** Object %n{nicht}
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3747-3749 courseWRTTrueNorth Object, ** Object and 360.0 AngularDegree(s) genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht}
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 3751-3753 courseWRTTrueNorth Object, ** Object and 45.0 AngularDegree(s) genau dann wenn ** Object ist Northeast hinsichlich ** ** Object %n{nicht}
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3735-3737 courseWRTTrueNorth Object, ** Object and 90.0 AngularDegree(s) genau dann wenn ** Object ist East hinsichlich ** ** Object %n{nicht}
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))		 Geography.kif 378-380 Das mass von Physical ist RealNumber AngularDegree(s) %n{nicht} genau dann wenn das mass von ** Physical ist 60.0 und ** RealNumber ArcMinute(s) %n{nicht}
(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90.0))		 Geography.kif 427-431
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180.0))		 Geography.kif 467-474
(=>
    (equal ?QUANT
        (MeasureFn ?N AngularDegree))
    (instance ?QUANT PlaneAngleMeasure))		 Merge.kif 7363-7365
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (and
        (greaterThanOrEqualTo ?NUMBER 0.0)
        (lessThanOrEqualTo ?NUMBER 360.0)))		 Merge.kif 7371-7375
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (greaterThanOrEqualTo ?NUMBER 0.0))		 Geography.kif 358-360
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER AngularDegree))
    (lessThanOrEqualTo ?NUMBER 360.0))		 Geography.kif 362-364

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
(=>
    (and
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
        (or
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
    (not
        (exists (?AREA ?DIR ?NUM ?LONG)
            (and
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                (or
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5.0)))))		 Weather.kif 627-646
(=>
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
    (length
        (LatitudeFn ?DIRECTION
            (MeasureFn 0.0 AngularDegree)
            (MeasureFn 1.0 ArcMinute)
            (MeasureFn 0.0 ArcSecond))
        (MeasureFn 1.0 NauticalMile)))		 Geography.kif 433-440

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


(equal
    (MeasureFn 1.0 AngularDegree)
    (MeasureFn 60.0 ArcMinute))		 Geography.kif 382-382 1.0 AngularDegree(s) ist gleich 60.0 ArcMinute(s) %n{nicht}
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60.0 ?NUM) ArcMinute))		 Geography.kif 383-383 RealNumber AngularDegree(s) ist gleich 60.0 und ** RealNumber ArcMinute(s) %n{nicht}
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))		 Merge.kif 7367-7369 RealNumber AngularDegree(s) ist gleich ** RealNumber und Pi und 180.0 Radian(s) %n{nicht}
(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute)))		 Geography.kif 4662-4669 objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s) and 0.0 ArcMinute(s) and LongitudeFn East, 0.0 AngularDegree(s) and 0.0 ArcMinute(s)


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