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


KB Term:  Term intersection
English Word: 

  ArcMinute

 Sigma KEE - ArcMinute
ArcMinute(arc minute)

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


(instance ArcMinute UnitOfAngularMeasure) Geography.kif 1846-1846 Arc minute is an instance of unit of angular measure
(documentation ArcMinute EnglishLanguage "ArcMinute represents a UnitOfMeasure equivalent to 1/ 60th of an AngularDegree.") Geography.kif 1847-1848 Arc minute is an instance of unit of angular measure

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


(termFormat EnglishLanguage ArcMinute "arc minute") domainEnglishFormat.kif 8254-8254
(termFormat ChineseTraditionalLanguage ArcMinute "弧分") domainEnglishFormat.kif 8255-8255
(termFormat ChineseLanguage ArcMinute "弧分") domainEnglishFormat.kif 8256-8256

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


(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER ArcMinute))
    (greaterThanOrEqualTo ?NUMBER 0.0))		 Geography.kif 1850-1852 If the measure of X is Y arc minute(s), then Y is greater than or equal to 0.0
(=>
    (measure ?ANGLE
        (MeasureFn ?NUMBER ArcMinute))
    (lessThanOrEqualTo ?NUMBER 60.0))		 Geography.kif 1854-1856 If the measure of X is Y arc minute(s), then Y is less than or equal to 60.0
(<=>
    (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)

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


(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60.0 ?DEG) ArcMinute)))		 Geography.kif 1858-1860 The measure of X is Y angular degree(s) if and only if the measure of X is 60.0 and Y arc minute(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 AngularDegree)
    (MeasureFn 60.0 ArcMinute))		 Geography.kif 1862-1862 equal 1.0 angular degree(s) and 60.0 arc minute(s)
(equal
    (MeasureFn ?NUM AngularDegree)
    (MeasureFn
        (MultiplicationFn 60.0 ?NUM) ArcMinute))		 Geography.kif 1863-1863 equal X angular degree(s) and 60.0 and X arc minute(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)
(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute)))		 Geography.kif 6204-6211 The geographic center of southern ocean is object geographic coordinates the region south of of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east of


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