TreeView Knowledge Base Browser - objectGeographicCoordinates

appearance as argument number 1

(documentation objectGeographicCoordinates EnglishLanguage "(objectGeographicCoordinates ?OBJECT ?LAT ?LONG) means that the Object ?OBJECT is found at the geographic coordinates ?LAT and ?LONG.")	Geography.kif 328-331
(domain objectGeographicCoordinates 1 Object)	Geography.kif 324-324
(domain objectGeographicCoordinates 2 Latitude)	Geography.kif 325-325
(domain objectGeographicCoordinates 3 Longitude)	Geography.kif 326-326
(instance objectGeographicCoordinates TernaryPredicate)	Geography.kif 323-323

appearance as argument number 2

(format ChineseLanguage objectGeographicCoordinates "%1 %n 是对于 %3 的 object 地理座标 %2 ")	domainEnglishFormat.kif 1815-1815
(format ChineseTraditionalLanguage objectGeographicCoordinates "%1 %n 是對於 %3 的 object 地理座標 %2 ")	domainEnglishFormat.kif 1814-1814
(format EnglishLanguage objectGeographicCoordinates "%1 is %n object geographic coordinates %2 for %3")	domainEnglishFormat.kif 1813-1813
(termFormat ChineseLanguage objectGeographicCoordinates "物件地理坐标")	domainEnglishFormat.kif 41527-41527
(termFormat ChineseTraditionalLanguage objectGeographicCoordinates "物件地理坐標")	domainEnglishFormat.kif 41526-41526
(termFormat EnglishLanguage objectGeographicCoordinates "object geographic coordinates")	domainEnglishFormat.kif 41525-41525

antecedent

(=>
    (and
        (instance ?REGION GeographicArea)
        (objectGeographicCoordinates
            (GeographicCenterFn ?REGION) ?LAT ?LONG))
    (objectGeographicCoordinates ?REGION ?LAT ?LONG))

Geography.kif 348-353

consequent

(=> (and (instance ?PLACE GeographicArea) (located ?PLACE ?T) (instance ?T 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 11.5 ArcSecond))) (instance ?DIR DirectionalAttribute) (or (equal ?DIR North) (equal ?DIR South)))))	Geography.kif 3517-3537
(=> (and (instance ?REGION GeographicArea) (objectGeographicCoordinates (GeographicCenterFn ?REGION) ?LAT ?LONG)) (objectGeographicCoordinates ?REGION ?LAT ?LONG))	Geography.kif 348-353
(=> (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 627-646

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 4561-4568

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: