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

KB Term:  Term intersection
English Word: 

Sigma KEE - objectGeographicCoordinates
objectGeographicCoordinates

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


(instance objectGeographicCoordinates TernaryPredicate) Geography.kif 1665-1665 object geographic coordinates is an instance of ternary predicate
(domain objectGeographicCoordinates 1 Object) Geography.kif 1666-1666 The number 1 argument of object geographic coordinates is an instance of object
(domain objectGeographicCoordinates 2 PlaneAngleMeasure) Geography.kif 1667-1667 The number 2 argument of object geographic coordinates is an instance of plane angle measure
(domain objectGeographicCoordinates 3 PlaneAngleMeasure) Geography.kif 1668-1668 The number 3 argument of object geographic coordinates is an instance of plane angle measure
(documentation objectGeographicCoordinates EnglishLanguage "(objectGeographicCoordinates ?OBJECT ?LAT ?LONG) means that the Object ?OBJECT is found at the geographic coordinates ?LAT and ?LONG.") Geography.kif 1670-1673 The number 3 argument of object geographic coordinates is an instance of plane angle measure

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


(format EnglishLanguage objectGeographicCoordinates "%1 is %n object geographic coordinates %2 for %3") domainEnglishFormat.kif 1817-1817
(format ChineseTraditionalLanguage objectGeographicCoordinates "%1 %n 是 對於 %3 的 object 地理座標 %2 ") domainEnglishFormat.kif 1818-1818
(format ChineseLanguage objectGeographicCoordinates "%1 %n 是 对于 %3 的 object 地理座标 %2 ") domainEnglishFormat.kif 1819-1819
(termFormat EnglishLanguage objectGeographicCoordinates "object geographic coordinates") domainEnglishFormat.kif 41541-41541
(termFormat ChineseTraditionalLanguage objectGeographicCoordinates "物件地理坐標") domainEnglishFormat.kif 41542-41542
(termFormat ChineseLanguage objectGeographicCoordinates "物件地理坐标") domainEnglishFormat.kif 41543-41543

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


(=>
    (and
        (instance ?REGION GeographicArea)
        (objectGeographicCoordinates
            (GeographicCenterFn ?REGION) ?LAT ?LONG))
    (objectGeographicCoordinates ?REGION ?LAT ?LONG))		 Geography.kif 1690-1695 If X is an instance of geographic area and the geographic center of X is object geographic coordinates Y for Z, then X is object geographic coordinates Y for Z
(=>
    (and
        (instance ?AREA GeographicArea)
        (objectGeographicCoordinates ?AREA ?LAT ?LONG)
        (equal
            (MeasureFn ?DEG AngularDegree)
            (MagneticDeclinationFn ?LAT ?LONG)))
    (exists (?MN)
        (and
            (headingWRTMagneticNorth ?AREA
                (MeasureFn ?MN AngularDegree))
            (headingWRTTrueNorth ?AREA
                (MeasureFn
                    (AdditionFn ?MN ?DEG) AngularDegree)))))		 Geography.kif 5220-5232 If X is an instance of geographic area, X is object geographic coordinates Y for Z, and equal W angular degree(s) and Location on Earth at Latitude Y and Longitude Z has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists V such that V angular degree(s) is a headingWRT magnetic north of X and (V and W) angular degree(s) is a headingWRT true north of X
(=>
    (and
        (instance ?AREA GeographicArea)
        (objectGeographicCoordinates ?AREA ?LAT ?LONG)
        (equal
            (MeasureFn ?DEG AngularDegree)
            (MagneticDeclinationFn ?LAT ?LONG)))
    (exists (?TN)
        (and
            (headingWRTTrueNorth ?AREA
                (MeasureFn ?TN AngularDegree))
            (headingWRTMagneticNorth ?AREA
                (MeasureFn
                    (SubtractionFn ?TN ?DEG) AngularDegree)))))		 Geography.kif 5236-5248 If X is an instance of geographic area, X is object geographic coordinates Y for Z, and equal W angular degree(s) and Location on Earth at Latitude Y and Longitude Z has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists V such that V angular degree(s) is a headingWRT true north of X and (V and W) angular degree(s) is a headingWRT magnetic north of X
(=>
    (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
-------------------------


(=>
    (and
        (instance ?REGION GeographicArea)
        (objectGeographicCoordinates
            (GeographicCenterFn ?REGION) ?LAT ?LONG))
    (objectGeographicCoordinates ?REGION ?LAT ?LONG))		 Geography.kif 1690-1695 If X is an instance of geographic area and the geographic center of X is object geographic coordinates Y for Z, then X is object geographic coordinates Y for Z
(=>
    (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

appearance as argument number 0
-------------------------


(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
(objectGeographicCoordinates NullIsland
    (MeasureFn 0 AngularDegree)
    (MeasureFn 0 AngularDegree))		 Geography.kif 6768-6770 Null island is object geographic coordinates 0 angular degree(s) for 0 angular degree(s)


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners