Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LatitudeFn
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 33462-33462
(termFormat ChineseTraditionalLanguage LatitudeFn "緯度") domainEnglishFormat.kif 33461-33461
(termFormat EnglishLanguage LatitudeFn "Latitude") Geography.kif 411-411
(termFormat EnglishLanguage LatitudeFn "latitude") domainEnglishFormat.kif 33460-33460

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


(=>
    (and
        (instance ?PLACE GeographicArea)
        (located ?PLACE ?T)
        (instance ?T Tropics))
    (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
        (and
            (objectGeographicCoordinates ?PLACE
                (MeasureFn ?NUM1 ?U) ?LONG)
            (instance ?U UnitOfAngularMeasure)
            (lessThan ?NUM1 ?NUM2)
            (equal
                (MeasureFn ?NUM2 ?U)
                (LatitudeFn ?DIR
                    (MeasureFn 23 AngularDegree)
                    (MeasureFn 26 ArcMinute)
                    (MeasureFn 11.5 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))
Geography.kif 3476-3496
(=>
    (and
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
        (or
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
    (not
        (exists (?AREA ?DIR ?NUM ?LONG)
            (and
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                (or
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5)))))
Weather.kif 627-646
(=>
    (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