LatitudeFn - Sigma Knowledge base Browser

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

Geography.kif 4390-4392