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.0 AngularDegree)), (LatitudeFn South (MeasureFn 23.0 AngularDegree) (MeasureFn 30.0 ArcMinute)), (LatitudeFn South (MeasureFn 60.0 AngularDegree) (MeasureFn 0.0 ArcMinute) (MeasureFn 0.0 ArcSecond)), (LatitudeFn North (MeasureFn 42.0 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 3728-3728
(format ChineseTraditionalLanguage LatitudeFn "%2 的 region %1 ") domainEnglishFormat.kif 3727-3727
(format EnglishLanguage LatitudeFn "the region %1 of %2") domainEnglishFormat.kif 3726-3726
(termFormat ChineseLanguage LatitudeFn "纬度") domainEnglishFormat.kif 33508-33508
(termFormat ChineseTraditionalLanguage LatitudeFn "緯度") domainEnglishFormat.kif 33507-33507
(termFormat EnglishLanguage LatitudeFn "Latitude") Geography.kif 411-411
(termFormat EnglishLanguage LatitudeFn "latitude") domainEnglishFormat.kif 33506-33506

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


(=>
    (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.0 AngularDegree)
                    (MeasureFn 26.0 ArcMinute)
                    (MeasureFn 11.5 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))		 Geography.kif 3595-3615
(=>
    (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.0)))))		 Weather.kif 611-630
(=>
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
    (length
        (LatitudeFn ?DIRECTION
            (MeasureFn 0.0 AngularDegree)
            (MeasureFn 1.0 ArcMinute)
            (MeasureFn 0.0 ArcSecond))
        (MeasureFn 1.0 NauticalMile)))		 Geography.kif 433-440