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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcSecond

Sigma KEE - ArcSecond
ArcSecondarc_second

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


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

Geography.kif 386-387
s__instance(s__ArcSecond,s__UnitOfAngularMeasure)

Geography.kif 385-385

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


s__termFormat(s__EnglishLanguage,s__ArcSecond,'arc second')

domainEnglishFormat.kif 1811-1811

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


( ∀ [V__ANGLE,V__NUMBER]
   (s__measure(V__ANGLE,s__MeasureFn(V__NUMBER,s__ArcSecond))
   ⇒
   s__greaterThanOrEqualTo(V__NUMBER,0))
)

Geography.kif 389-391
( ∀ [V__ANGLE,V__NUMBER]
   (s__measure(V__ANGLE,s__MeasureFn(V__NUMBER,s__ArcSecond))
   ⇒
   s__lessThanOrEqualTo(V__NUMBER,60))
)

Geography.kif 393-395

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


( ∀ [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__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