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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArcSecond

Sigma KEE - ArcSecond
ArcSecond

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


(documentation ArcSecond EnglishLanguage "ArcSecond represents a UnitOfMeasure equivalent to 1/ 60th of an ArcMinute.") Geography.kif 386-387
(instance ArcSecond UnitOfAngularMeasure) Geography.kif 385-385

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


(termFormat EnglishLanguage ArcSecond "arc second") domainEnglishFormat.kif 1811-1811

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


(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER ArcSecond))
    (greaterThanOrEqualTo ?NUMBER 0))
Geography.kif 389-391
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER ArcSecond))
    (lessThanOrEqualTo ?NUMBER 60))
Geography.kif 393-395

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


(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))
Geography.kif 397-399
(=>
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
    (length
        (LatitudeFn ?DIRECTION
            (MeasureFn 0 AngularDegree)
            (MeasureFn 1 ArcMinute)
            (MeasureFn 0 ArcSecond))
        (MeasureFn 1 NauticalMile)))
Geography.kif 433-440

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


(equal
    (MeasureFn 1 ArcMinute)
    (MeasureFn 60 ArcSecond))
Geography.kif 401-401
(equal
    (MeasureFn ?DEG ArcMinute)
    (MeasureFn
        (MultiplicationFn 60 ?DEG) ArcSecond))
Geography.kif 402-402


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