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


KB Term:  Term intersection
English Word: 

  ArcSecond

 Sigma KEE - ArcSecond
ArcSecond(arc second)

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


(instance ArcSecond UnitOfAngularMeasure) Geography.kif 1865-1865 Arc second is an instance of unit of angular measure
(documentation ArcSecond EnglishLanguage "ArcSecond represents a UnitOfMeasure equivalent to 1/ 60th of an ArcMinute.") Geography.kif 1866-1867 Arc second is an instance of unit of angular measure

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


(termFormat EnglishLanguage ArcSecond "arc second") domainEnglishFormat.kif 8260-8260
(termFormat ChineseTraditionalLanguage ArcSecond "弧秒") domainEnglishFormat.kif 8261-8261
(termFormat ChineseLanguage ArcSecond "弧秒") domainEnglishFormat.kif 8262-8262

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


(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER ArcSecond))
    (greaterThanOrEqualTo ?NUMBER 0.0))		 Geography.kif 1869-1871 If the measure of X is Y arc second(s), then Y is greater than or equal to 0.0
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER ArcSecond))
    (lessThanOrEqualTo ?NUMBER 60.0))		 Geography.kif 1873-1875 If the measure of X is Y arc second(s), then Y is less than or equal to 60.0

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


(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcSecond)))		 Geography.kif 1877-1879 The measure of X is Y arc minute(s) if and only if the measure of X is 60.0 and Y arc second(s)
(=>
    (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 1911-1918 If equal X and north of or equal X and south of, then the length of the region X of 0.0 angular degree(s) is 1.0 nautical mile(s)
(=>
    (and
        (instance ?PLACE GeographicArea)
        (located ?PLACE 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 9.4 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))		 Geography.kif 5021-5040 If X is an instance of geographic area and X is located at tropics, then there exist Y, Z,, , W,, , V and U such that X is object geographic coordinates Y U(s) for Z and U is an instance of unit of angular measure and Y is less than V and equal V U(s) and the region W of 23.0 angular degree(s) and W is an instance of directional attribute and equal W and north of or equal W and south of

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


(equal ArcticCircle
    (LatitudeFn North
        (MeasureFn 66.0 AngularDegree)
        (MeasureFn 33.0 ArcMinute)
        (MeasureFn 50.6 ArcSecond)))		 Geography.kif 1601-1605 equal Arctic Circle and the region north of of 66.0 angular degree(s)
(equal TropicOfCancer
    (LatitudeFn North
        (MeasureFn 23.0 AngularDegree)
        (MeasureFn 26.0 ArcMinute)
        (MeasureFn 9.4 ArcSecond)))		 Geography.kif 1617-1621 equal Tropic of Cancer and the region north of of 23.0 angular degree(s)
(equal TropicOfCapricorn
    (LatitudeFn South
        (MeasureFn 23.0 AngularDegree)
        (MeasureFn 26.0 ArcMinute)
        (MeasureFn 9.4 ArcSecond)))		 Geography.kif 1633-1637 equal Tropic of Capricorn and the region south of of 23.0 angular degree(s)
(equal AntarcticCircle
    (LatitudeFn South
        (MeasureFn 66.0 AngularDegree)
        (MeasureFn 33.0 ArcMinute)
        (MeasureFn 50.6 ArcSecond)))		 Geography.kif 1647-1651 equal Antarctic Circle and the region south of of 66.0 angular degree(s)
(equal
    (MeasureFn 1.0 ArcMinute)
    (MeasureFn 60.0 ArcSecond))		 Geography.kif 1881-1881 equal 1.0 arc minute(s) and 60.0 arc second(s)
(equal
    (MeasureFn ?DEG ArcMinute)
    (MeasureFn
        (MultiplicationFn 60.0 ?DEG) ArcSecond))		 Geography.kif 1882-1882 equal X arc minute(s) and 60.0 and X arc second(s)


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners