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 数量 是 客体 的 instance |
(domain objectGeographicCoordinates 2 Latitude) | Geography.kif 325-325 | 物件地理坐标 的 2 数量 是 纬度 的 instance |
(domain objectGeographicCoordinates 3 Longitude) | Geography.kif 326-326 | 物件地理坐标 的 3 数量 是 经度 的 instance |
(instance objectGeographicCoordinates TernaryPredicate) | Geography.kif 323-323 | 物件地理坐标 是 三元谓语 的 instance |
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 41542-41542 | |
(termFormat ChineseTraditionalLanguage objectGeographicCoordinates "物件地理坐標") | domainEnglishFormat.kif 41541-41541 | |
(termFormat EnglishLanguage objectGeographicCoordinates "object geographic coordinates") | domainEnglishFormat.kif 41540-41540 |
antecedent |
(=> (and (instance ?REGION GeographicArea) (objectGeographicCoordinates (GeographicCenterFn ?REGION) ?LAT ?LONG)) (objectGeographicCoordinates ?REGION ?LAT ?LONG)) |
Geography.kif 348-353 |
consequent |
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 | 南部海洋 的 geographic 中心 是 对于 在 0.0 圆周角度 东 的 meridian 的 object 地理座标 65.0 圆周角度 的 region 南 |