LatitudeFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage LatitudeFn "%2 的 region %1 ") | domainEnglishFormat.kif 3734-3734 | |
(format ChineseTraditionalLanguage LatitudeFn "%2 的 region %1 ") | domainEnglishFormat.kif 3733-3733 | |
(format EnglishLanguage LatitudeFn "the region %1 of %2") | domainEnglishFormat.kif 3732-3732 | |
(termFormat ChineseLanguage LatitudeFn "纬度") | domainEnglishFormat.kif 33479-33479 | |
(termFormat ChineseTraditionalLanguage LatitudeFn "緯度") | domainEnglishFormat.kif 33478-33478 | |
(termFormat EnglishLanguage LatitudeFn "Latitude") | Geography.kif 411-411 | |
(termFormat EnglishLanguage LatitudeFn "latitude") | domainEnglishFormat.kif 33477-33477 |
antecedent |
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90.0)) |
Geography.kif 427-431 |
|
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South))) |
Geography.kif 421-425 |
|
consequent |
statement |
(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 |