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


KB Term:  Term intersection
English Word: 

Sigma KEE - LatitudeFn
LatitudeFn

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


(instance LatitudeFn VariableArityRelation) Geography.kif 1884-1884 Latitude is an instance of variable arity relation
(instance LatitudeFn Function) Geography.kif 1885-1885 Latitude is an instance of function
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 1886-1886 The number 1 argument of latitude is an instance of directional attribute
(domain LatitudeFn 2 AngleMeasure) Geography.kif 1887-1887 The number 2 argument of latitude is an instance of angle measure
(range LatitudeFn PlaneAngleMeasure) Geography.kif 1888-1888 The range of latitude is an instance of plane angle measure
(documentation LatitudeFn EnglishLanguage "LatitudeFn is a VariableArityRelation used to denote a parallel of latitude. Examples: (LatitudeFn North (MeasureFn 38.0 AngularDegree)), (LatitudeFn South (MeasureFn 23.0 AngularDegree) (MeasureFn 30.0 ArcMinute)), (LatitudeFn South (MeasureFn 60.0 AngularDegree) (MeasureFn 0.0 ArcMinute) (MeasureFn 0.0 ArcSecond)), (LatitudeFn North (MeasureFn 42.0 AngularDegree) (MeasureFn 7.89 ArcMinute)).") Geography.kif 1891-1897 The range of latitude is an instance of plane angle measure

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


(termFormat EnglishLanguage LatitudeFn "Latitude") Geography.kif 1889-1889
(format EnglishLanguage LatitudeFn "the region %1 of %2") domainEnglishFormat.kif 3730-3730
(format ChineseTraditionalLanguage LatitudeFn "%2 的 region %1 ") domainEnglishFormat.kif 3731-3731
(format ChineseLanguage LatitudeFn "%2 的 region %1 ") domainEnglishFormat.kif 3732-3732
(termFormat EnglishLanguage LatitudeFn "latitude") domainEnglishFormat.kif 33481-33481
(termFormat ChineseTraditionalLanguage LatitudeFn "緯度") domainEnglishFormat.kif 33482-33482
(termFormat ChineseLanguage LatitudeFn "纬度") domainEnglishFormat.kif 33483-33483

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


(=>
    (equal Equator
        (LatitudeFn ?DIR
            (MeasureFn 0 AngularDegree)))
    (or
        (equal ?DIR North)
        (equal ?DIR South)))		 Geography.kif 1581-1587 If equal equator and the region X of 0 angular degree(s), then equal X and north of or equal X and south of
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))		 Geography.kif 1899-1903 If the region X of @ROW is an instance of region, then equal X and north of or equal X and south of
(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90.0))		 Geography.kif 1905-1909 If the region X of @ROW is an instance of region and equal 1th element of (@ROW) and Z angular degree(s), then Z is less than or equal to 90.0
(=>
    (and
        (instance ?R Region)
        (located ?R Nino1Pluse2)
        (objectGeographicCoordinates ?R
            (LatitudeFn South
                (MeasureFn ?X AngularDegree))
            (LongitudeFn West
                (MeasureFn ?Y AngularDegree))))
    (and
        (greaterThanOrEqualTo ?X 0)
        (lessThanOrEqualTo ?X 10)
        (greaterThanOrEqualTo ?Y 80)
        (lessThanOrEqualTo ?Y 90)))		 Weather.kif 858-871 If X is an instance of region, X is located at Nino 1+2, and X is object geographic coordinates the region south of of Y angular degree(s) for the meridian at Z angular degree(s) west of, then Y is greater than or equal to 0, Y is less than or equal to 10, Z is greater than or equal to 80, and Z is less than or equal to 90
(=>
    (and
        (instance ?R Region)
        (located ?R Nino3)
        (objectGeographicCoordinates ?R
            (LatitudeFn ?DIR
                (MeasureFn ?X AngularDegree))
            (LongitudeFn West
                (MeasureFn ?Y AngularDegree))))
    (and
        (or
            (equal ?DIR North)
            (equal ?DIR South))
        (lessThanOrEqualTo ?X 5)
        (greaterThanOrEqualTo ?Y 90)
        (lessThanOrEqualTo ?Y 150)))		 Weather.kif 881-896 If X is an instance of region, X is located at Nino 3, and X is object geographic coordinates the region Y of Z angular degree(s) for the meridian at W angular degree(s) west of, then equal Y and north of or equal Y and south of, Z is less than or equal to 5, W is greater than or equal to 90, and W is less than or equal to 150
(=>
    (and
        (instance ?R Region)
        (located ?R Nino3Point4)
        (objectGeographicCoordinates ?R
            (LatitudeFn ?DIR
                (MeasureFn ?X AngularDegree))
            (LongitudeFn West
                (MeasureFn ?Y AngularDegree))))
    (and
        (or
            (equal ?DIR North)
            (equal ?DIR South))
        (lessThanOrEqualTo ?X 5)
        (greaterThanOrEqualTo ?Y 120)
        (lessThanOrEqualTo ?Y 170)))		 Weather.kif 908-923 If X is an instance of region, X is located at Nino 3.4, and X is object geographic coordinates the region Y of Z angular degree(s) for the meridian at W angular degree(s) west of, then equal Y and north of or equal Y and south of, Z is less than or equal to 5, W is greater than or equal to 120, and W is less than or equal to 170

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


(=>
    (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
(=>
    (and
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
        (or
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
    (not
        (exists (?AREA ?DIR ?NUM ?LONG)
            (and
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                (or
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5.0)))))		 Weather.kif 1052-1071 If X is an instance of tropical cyclonic system, X originates at Y, and At least one of the following holds: (1) Y is an instance of north atlantic ocean (2) Y is an instance of pacific ocean (3) Y is an instance of indian ocean, then there don't exist Z, W,, , V and U such that Z is located at Y and W is an instance of directional attribute and Z is object geographic coordinates the region W of V angular degree(s) for U and equal W and north of or equal W and south of and V is less than 5.0

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 NorthPole
    (LatitudeFn North
        (MeasureFn 90 AngularDegree)))		 Geography.kif 5284-5287 equal North Pole and the region north of of 90 angular degree(s)
(equal SouthPole
    (LatitudeFn South
        (MeasureFn 90 AngularDegree)))		 Geography.kif 5314-5317 equal South Pole and the region south of of 90 angular degree(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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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