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	域物件地理坐標, 1 and Object
(domain objectGeographicCoordinates 2 Latitude)	Geography.kif 325-325	域物件地理坐標, 2 and 緯度
(domain objectGeographicCoordinates 3 Longitude)	Geography.kif 326-326	域物件地理坐標, 3 and 經度
(instance objectGeographicCoordinates TernaryPredicate)	Geography.kif 323-323	例物件地理坐標 and TernaryPredicate

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	例 Object and GeographicArea Object 是對於經度的 object 地理座標緯度等於測量 RealNumber and 圓周角度 and 位於地球經度緯度及緯度經度区的地磁偏角爲 PlaneAngleMeasure. (+) 代表偏角向東, (-)代表偏角向西, 0 代表差異 RealNumber 測量 RealNumber and 圓周角度是 Object 的 headingWRT 磁北極測量加成 RealNumber and RealNumber and 圓周角度是 Object 的 headingWRT 實際北極
(=> (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	例 Object and GeographicArea Object 是對於經度的 object 地理座標緯度等於測量 RealNumber and 圓周角度 and 位於地球經度緯度及緯度經度区的地磁偏角爲 PlaneAngleMeasure. (+) 代表偏角向東, (-)代表偏角向西, 0 代表差異 RealNumber 測量 RealNumber and 圓周角度是 Object 的 headingWRT 實際北極測量減法 RealNumber and RealNumber and 圓周角度是 Object 的 headingWRT 磁北極
(=> (and (instance ?REGION GeographicArea) (objectGeographicCoordinates (GeographicCenterFn ?REGION) ?LAT ?LONG)) (objectGeographicCoordinates ?REGION ?LAT ?LONG))	Geography.kif 348-353	例 GeographicArea and GeographicArea GeographicArea 的 geographic 中心是對於經度的 object 地理座標緯度 GeographicArea 是對於經度的 object 地理座標緯度

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	例 Object and GeographicArea 位於 Object and Object 例 Object and 熱帶 RealNumber 經度, DirectionalAttribute, RealNumber and UnitOfMeasure Object 是對於經度的 object 地理座標測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfAngularMeasure 少於 RealNumber and RealNumber 等於測量 RealNumber and UnitOfMeasure and 測量 23.0 and 圓周角度的 region DirectionalAttribute 例 DirectionalAttribute and DirectionalAttribute 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南
(=> (and (instance ?REGION GeographicArea) (objectGeographicCoordinates (GeographicCenterFn ?REGION) ?LAT ?LONG)) (objectGeographicCoordinates ?REGION ?LAT ?LONG))	Geography.kif 348-353	例 GeographicArea and GeographicArea GeographicArea 的 geographic 中心是對於經度的 object 地理座標緯度 GeographicArea 是對於經度的 object 地理座標緯度
(=> (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	例 Process and TropicalCyclonicSystem 起源 Process and Object 例 Object and 北大西洋例 Object and 太平洋例 Object and 印度洋 Object DirectionalAttribute, RealNumber and 經度位於 Object and Object 例 DirectionalAttribute and DirectionalAttribute Object 是對於經度的 object 地理座標測量 RealNumber and 圓周角度的 region DirectionalAttribute 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南少於 RealNumber and 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

南部海洋的 geographic 中心是對於在測量 0.0 and 圓周角度東的 meridian 的 object 地理座標測量 65.0 and 圓周角度的 region 南

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