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