LatitudeFn |
appearance as argument number 1 |
![]() |
(documentation LatitudeFn EnglishLanguage "LatitudeFn is a VariableArityRelation used to denote a parallel of latitude. Examples: (LatitudeFn North (MeasureFn 38 AngularDegree)), (LatitudeFn South (MeasureFn 23 AngularDegree) (MeasureFn 30 ArcMinute)), (LatitudeFn South (MeasureFn 60 AngularDegree) (MeasureFn 0 ArcMinute) (MeasureFn 0 ArcSecond)), (LatitudeFn North (MeasureFn 42 AngularDegree) (MeasureFn 7.89 ArcMinute)).") | Geography.kif 413-419 | |
(domain LatitudeFn 1 DirectionalAttribute) | Geography.kif 406-406 | |
(domain LatitudeFn 2 AngleMeasure) | Geography.kif 407-407 | |
(domain LatitudeFn 3 AngleMeasure) | Geography.kif 408-408 | |
(domain LatitudeFn 4 AngleMeasure) | Geography.kif 409-409 | |
(instance LatitudeFn Function) | Geography.kif 405-405 | |
(instance LatitudeFn VariableArityRelation) | Geography.kif 404-404 | |
(range LatitudeFn Region) | Geography.kif 410-410 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage LatitudeFn "%2 的 region %1 ") | domainEnglishFormat.kif 3739-3739 | |
(format ChineseTraditionalLanguage LatitudeFn "%2 的 region %1 ") | domainEnglishFormat.kif 3738-3738 | |
(format EnglishLanguage LatitudeFn "the region %1 of %2") | domainEnglishFormat.kif 3737-3737 | |
(termFormat ChineseLanguage LatitudeFn "纬度") | domainEnglishFormat.kif 33469-33469 | |
(termFormat ChineseTraditionalLanguage LatitudeFn "緯度") | domainEnglishFormat.kif 33468-33468 | |
(termFormat EnglishLanguage LatitudeFn "Latitude") | Geography.kif 411-411 | |
(termFormat EnglishLanguage LatitudeFn "latitude") | domainEnglishFormat.kif 33467-33467 |
antecedent |
![]() |
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90)) |
Geography.kif 427-431 | |
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South))) |
Geography.kif 421-425 |
consequent |
![]() |
(=> (or (equal ?DIRECTION North) (equal ?DIRECTION South)) (length (LatitudeFn ?DIRECTION (MeasureFn 0 AngularDegree) (MeasureFn 1 ArcMinute) (MeasureFn 0 ArcSecond)) (MeasureFn 1 NauticalMile))) |
Geography.kif 433-440 |
statement |
![]() |
(objectGeographicCoordinates (GeographicCenterFn SouthernOcean) (LatitudeFn South (MeasureFn 65 AngularDegree) (MeasureFn 0 ArcMinute)) (LongitudeFn East (MeasureFn 0 AngularDegree) (MeasureFn 0 ArcMinute))) |
Geography.kif 4390-4392 |
![]() |
![]() |