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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcMinute

Sigma KEE - ArcMinute
ArcMinutearc_minute

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


s__documentation(s__ArcMinute,s__EnglishLanguage,'ArcMinute represents a UnitOfMeasure equivalent to 1/60th of an AngularDegree.')

Geography.kif 367-368
s__instance(s__ArcMinute,s__UnitOfAngularMeasure)

Geography.kif 366-366

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


s__termFormat(s__EnglishLanguage,s__ArcMinute,'arc minute')

domainEnglishFormat.kif 1810-1810

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


( ∀ [V__OBJ,V__DEG]
   (s__measure(V__OBJ,s__MeasureFn(V__DEG,s__ArcMinute))
   <⇒
   s__measure(V__OBJ,s__MeasureFn(s__MultiplicationFn(60,V__DEG)
,s__ArcSecond)))
)

Geography.kif 397-399
( ∀ [V__ANGLE,V__NUMBER]
   (s__measure(V__ANGLE,s__MeasureFn(V__NUMBER,s__ArcMinute))
   ⇒
   s__greaterThanOrEqualTo(V__NUMBER,0))
)

Geography.kif 370-372
( ∀ [V__ANGLE,V__NUMBER]
   (s__measure(V__ANGLE,s__MeasureFn(V__NUMBER,s__ArcMinute))
   ⇒
   s__lessThanOrEqualTo(V__NUMBER,60))
)

Geography.kif 374-376

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


( ∀ [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__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(1,s__AngularDegree) = s__MeasureFn(60,s__ArcMinute))

Geography.kif 382-382
(s__MeasureFn(1,s__ArcMinute) = s__MeasureFn(60,s__ArcSecond))

Geography.kif 401-401
( ∀ [V__DEG]
   (s__MeasureFn(V__DEG,s__ArcMinute) = s__MeasureFn(s__MultiplicationFn(60,V__DEG)
  ,s__ArcSecond))
)

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

Geography.kif 383-383
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