objectGeographicCoordinates - Sigma Knowledge base Browser

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 1819-1819
(format ChineseTraditionalLanguage objectGeographicCoordinates "%1 %n 是對於 %3 的 object 地理座標 %2 ")	domainEnglishFormat.kif 1818-1818
(format EnglishLanguage objectGeographicCoordinates "%1 is %n object geographic coordinates %2 for %3")	domainEnglishFormat.kif 1817-1817
(termFormat ChineseLanguage objectGeographicCoordinates "物件地理坐标")	domainEnglishFormat.kif 41573-41573
(termFormat ChineseTraditionalLanguage objectGeographicCoordinates "物件地理坐標")	domainEnglishFormat.kif 41572-41572
(termFormat EnglishLanguage objectGeographicCoordinates "object geographic coordinates")	domainEnglishFormat.kif 41571-41571

antecedent

(=> (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 3780-3792	If an object is an instance of geographic area and the object is object geographic coordinates a latitude for a longitude and a real number angular degree(s) is equal to Location on Earth at Latitude the latitude and Longitude the longitude has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists another real number such that the other real number angular degree(s) is a headingWRT magnetic north of the object and (the other real number and the real number) angular degree(s) is a headingWRT true north of the object
(=> (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 3796-3808	If an object is an instance of geographic area and the object is object geographic coordinates a latitude for a longitude and a real number angular degree(s) is equal to Location on Earth at Latitude the latitude and Longitude the longitude has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists another real number such that the other real number angular degree(s) is a headingWRT true north of the object and (the other real number and the real number) angular degree(s) is a headingWRT magnetic north of the object
(=> (and (instance ?REGION GeographicArea) (objectGeographicCoordinates (GeographicCenterFn ?REGION) ?LAT ?LONG)) (objectGeographicCoordinates ?REGION ?LAT ?LONG))	Geography.kif 348-353	If a geographic area is an instance of geographic area and the geographic center of the geographic area is object geographic coordinates a latitude for a longitude, then the geographic area is object geographic coordinates the latitude for the longitude

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 3583-3603	If an object is an instance of geographic area and the object is located at another object and the other object is an instance of tropics, then there exist a real number, a longitude,, , a directional attribute,, , another real number and an unit of measure such that the object is object geographic coordinates the real number the unit of measure(s) for the longitude and the unit of measure is an instance of unit of angular measure and the real number is less than the other real number and the other real number the unit of measure(s) is equal to the region the directional attribute of 23.0 angular degree(s) and the directional attribute is an instance of directional attribute and the directional attribute is equal to north or the directional attribute is equal to south
(=> (and (instance ?REGION GeographicArea) (objectGeographicCoordinates (GeographicCenterFn ?REGION) ?LAT ?LONG)) (objectGeographicCoordinates ?REGION ?LAT ?LONG))	Geography.kif 348-353	If a geographic area is an instance of geographic area and the geographic center of the geographic area is object geographic coordinates a latitude for a longitude, then the geographic area is object geographic coordinates the latitude for the longitude
(=> (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	If a process is an instance of tropical cyclonic system and the process originates at an object and the object is an instance of north atlantic ocean or the object is an instance of pacific ocean or the object is an instance of indian ocean, then there don't exist another object, a directional attribute,, , a real number and a longitude such that the other object is located at the object and the directional attribute is an instance of directional attribute and the other object is object geographic coordinates the region the directional attribute of the real number angular degree(s) for the longitude and the directional attribute is equal to north or the directional attribute is equal to south and the real number 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 4731-4738

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