Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - objectGeographicCoordinates
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 The number 1 argument of object geographic coordinates is an instance of object
(domain objectGeographicCoordinates 2 Latitude) Geography.kif 325-325 The number 2 argument of object geographic coordinates is an instance of latitude
(domain objectGeographicCoordinates 3 Longitude) Geography.kif 326-326 The number 3 argument of object geographic coordinates is an instance of longitude
(instance objectGeographicCoordinates TernaryPredicate) Geography.kif 323-323 object geographic coordinates is an instance of ternary predicate

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 41544-41544
(termFormat ChineseTraditionalLanguage objectGeographicCoordinates "物件地理坐標") domainEnglishFormat.kif 41543-41543
(termFormat EnglishLanguage objectGeographicCoordinates "object geographic coordinates") domainEnglishFormat.kif 41542-41542

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 3595-3615
(=>
    (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 611-630

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 4662-4669 The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east


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 is open source software produced by Articulate Software and its partners