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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AngularDegree

Sigma KEE - AngularDegree
AngularDegreeangular_degree, arcdegree, degree

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


s__documentation(s__AngularDegree,s__ChineseLanguage,'这是一种量度平面角度的单位。')

Merge.kif 7628-7628
s__documentation(s__AngularDegree,s__EnglishLanguage,'A plane angle measure.')

Merge.kif 7627-7627
s__instance(s__AngularDegree,s__UnitOfAngularMeasure)

Merge.kif 7626-7626

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


s__termFormat(s__EnglishLanguage,s__AngularDegree,'angular degree')

domainEnglishFormat.kif 1690-1690

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


( ∀ [V__OBJ1,V__OBJ2]
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(0,s__AngularDegree))
   <⇒
   s__orientation(V__OBJ1,V__OBJ2,s__North))
)

Geography.kif 3556-3558
( ∀ [V__OBJ1,V__OBJ2]
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(135,s__AngularDegree))
   <⇒
   s__orientation(V__OBJ1,V__OBJ2,s__Southeast))
)

Geography.kif 3580-3582
( ∀ [V__OBJ1,V__OBJ2]
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(180,s__AngularDegree))
   <⇒
   s__orientation(V__OBJ1,V__OBJ2,s__South))
)

Geography.kif 3564-3566
( ∀ [V__OBJ1,V__OBJ2]
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(225,s__AngularDegree))
   <⇒
   s__orientation(V__OBJ1,V__OBJ2,s__Southwest))
)

Geography.kif 3584-3586
( ∀ [V__OBJ1,V__OBJ2]
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(270,s__AngularDegree))
   <⇒
   s__orientation(V__OBJ1,V__OBJ2,s__West))
)

Geography.kif 3568-3570
( ∀ [V__OBJ1,V__OBJ2]
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(315,s__AngularDegree))
   <⇒
   s__orientation(V__OBJ1,V__OBJ2,s__Northwest))
)

Geography.kif 3588-3590
( ∀ [V__OBJ1,V__OBJ2]
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(360,s__AngularDegree))
   <⇒
   s__orientation(V__OBJ1,V__OBJ2,s__North))
)

Geography.kif 3572-3574
( ∀ [V__OBJ1,V__OBJ2]
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(45,s__AngularDegree))
   <⇒
   s__orientation(V__OBJ1,V__OBJ2,s__Northeast))
)

Geography.kif 3576-3578
( ∀ [V__OBJ1,V__OBJ2]
   (s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(90,s__AngularDegree))
   <⇒
   s__orientation(V__OBJ1,V__OBJ2,s__East))
)

Geography.kif 3560-3562
( ∀ [V__OBJ,V__DEG]
   (s__measure(V__OBJ,s__MeasureFn(V__DEG,s__AngularDegree))
   <⇒
   s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(60,V__DEG)
,s__ArcMinute)))
)

Geography.kif 378-380
( ∀ [V__DIRECTION,V__ROW1,V__NUM]
   ((s__instance(s__LatitudeFn_2(V__DIRECTION,V__ROW1)
    ,s__Region) ∧
     (s__ListOrderFn(s__ListFn_1(V__ROW1)
    ,1)
   = s__MeasureFn(V__NUM,s__AngularDegree)))

s__lessThanOrEqualTo(V__NUM,90))
)

Geography.kif 427-431
( ∀ [V__DIRECTION,V__ROW1,V__NUM]
   ((s__instance(s__LongitudeFn_2(V__DIRECTION,V__ROW1)
    ,s__Region) ∧
     (s__ListOrderFn(s__ListFn_1(V__ROW1)
    ,1)
   = s__MeasureFn(V__NUM,s__AngularDegree)))

s__lessThanOrEqualTo(V__NUM,180))
)

Geography.kif 467-471
( ∀ [V__A,V__N]
   ((s__instance(V__A,s__AcuteAngle) ∧
       s__angularMeasure(V__A,s__MeasureFn(V__N,s__AngularDegree)))
   ⇒
   s__lessThan(V__N,90))
)

Mid-level-ontology.kif 5181-5185
( ∀ [V__A,V__N]
   ((s__instance(V__A,s__ObliqueAngle) ∧
       s__angularMeasure(V__A,s__MeasureFn(V__N,s__AngularDegree)))
   ⇒
   s__greaterThan(V__N,90))
)

Mid-level-ontology.kif 5162-5166
( ∀ [V__QUANT,V__N]
   ((V__QUANT = s__MeasureFn(V__N,s__AngularDegree))
     ⇒
     s__instance(V__QUANT,s__PlaneAngleMeasure))
   )

Merge.kif 7630-7632
( ∀ [V__ANGLE,V__NUMBER]
   (s__measure(V__ANGLE,s__MeasureFn(V__NUMBER,s__AngularDegree))
   ⇒
   (s__greaterThanOrEqualTo(V__NUMBER,0.0)
   ∧
   s__lessThanOrEqualTo(V__NUMBER,360.0)))
)

Merge.kif 7638-7642
( ∀ [V__ANGLE,V__NUMBER]
   (s__measure(V__ANGLE,s__MeasureFn(V__NUMBER,s__AngularDegree))
   ⇒
   s__greaterThanOrEqualTo(V__NUMBER,0))
)

Geography.kif 358-360
( ∀ [V__ANGLE,V__NUMBER]
   (s__measure(V__ANGLE,s__MeasureFn(V__NUMBER,s__AngularDegree))
   ⇒
   s__lessThanOrEqualTo(V__NUMBER,360))
)

Geography.kif 362-364

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


( ∀ [V__A]
   (s__instance(V__A,s__RightAngle) ⇒
     s__angularMeasure(V__A,s__MeasureFn(90,s__AngularDegree)))
)

Mid-level-ontology.kif 5173-5175
( ∀ [V__DIRECTION]
   (((V__DIRECTION = s__North) ∨
         (V__DIRECTION = s__South))
         ⇒
         s__length(s__LatitudeFn_4(V__DIRECTION,s__MeasureFn(0,s__AngularDegree),s__MeasureFn(1,s__ArcMinute),s__MeasureFn(0,s__ArcSecond))
      ,s__MeasureFn(1,s__NauticalMile)))
   )

Geography.kif 433-440

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


(s__MeasureFn(0.0,s__AngularDegree) = s__MeasureFn(360.0,s__AngularDegree))

Merge.kif 7644-7644
(s__MeasureFn(1,s__AngularDegree) = s__MeasureFn(60,s__ArcMinute))

Geography.kif 382-382
( ∀ [V__NUM]
   (s__MeasureFn(V__NUM,s__AngularDegree) = s__MeasureFn(s__MultiplicationFn(60,V__NUM)
  ,s__ArcMinute))
)

Geography.kif 383-383
( ∀ [V__NUMBER]
   (s__MeasureFn(V__NUMBER,s__AngularDegree) = s__MeasureFn(s__MultiplicationFn(V__NUMBER,s__DivisionFn(s__Pi,180.0))
,s__Radian))
)

Merge.kif 7634-7636
s__objectGeographicCoordinates(s__GeographicCenterFn(s__SouthernOcean),s__LatitudeFn_3(s__South,s__MeasureFn(65,s__AngularDegree),s__MeasureFn(0,s__ArcMinute))
,s__LongitudeFn_3(s__East,s__MeasureFn(0,s__AngularDegree),s__MeasureFn(0,s__ArcMinute)))

Geography.kif 4378-4380


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