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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Toe

 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 例 圓周角度 and UnitOfAngularMeasure

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 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))		 Geography.kif 3755-3757 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))		 Geography.kif 3739-3741 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))		 Geography.kif 3759-3761 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西南
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))		 Geography.kif 3743-3745 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西方
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))		 Geography.kif 3763-3765 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 西北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 3747-3749 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))		 Geography.kif 3751-3753 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東北
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))		 Geography.kif 3735-3737 Object 對於 %3 courseWRT 實際北 方位 Object, Object and 東
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))		 Geography.kif 378-380 測量 Physical and 測量 RealNumber and 圓周角度 測量 Physical and 測量 乘法 60.0 and RealNumber and 弧分
(=>
    (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 and 圓周角度 and 測量 60.0 and 弧分
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60.0 ?NUM) ArcMinute))		 Geography.kif 383-383 等於 測量 RealNumber and 圓周角度 and 測量 乘法 60.0 and RealNumber and 弧分
(equal
    (MeasureFn ?NUMBER AngularDegree)
    (MeasureFn
        (MultiplicationFn ?NUMBER
            (DivisionFn Pi 180.0)) Radian))		 Merge.kif 7367-7369 等於 測量 RealNumber and 圓周角度 and 測量 乘法 RealNumber and 部 Pi and 180.0 and 弧度
(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 南部海洋 的 geographic 中心 是 對於 在 測量 0.0 and 圓周角度 東 的 meridian 的 object 地理座標 測量 65.0 and 圓周角度 的 region 南


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 3.0 is open source software produced by Articulate Software and its partners