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 550-556
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 543-543
(domain LatitudeFn 2 AngleMeasure) Geography.kif 544-544
(domain LatitudeFn 3 AngleMeasure) Geography.kif 545-545
(domain LatitudeFn 4 AngleMeasure) Geography.kif 546-546
(instance LatitudeFn Function) Geography.kif 542-542
(instance LatitudeFn VariableArityRelation) Geography.kif 541-541
(range LatitudeFn Region) Geography.kif 547-547

appearance as argument number 2
-------------------------


(format ChineseLanguage LatitudeFn "%2 的 region %1 ") domainEnglishFormat.kif 3732-3732
(format ChineseTraditionalLanguage LatitudeFn "%2 的 region %1 ") domainEnglishFormat.kif 3731-3731
(format EnglishLanguage LatitudeFn "the region %1 of %2") domainEnglishFormat.kif 3730-3730
(termFormat ChineseLanguage LatitudeFn "纬度") domainEnglishFormat.kif 33490-33490
(termFormat ChineseTraditionalLanguage LatitudeFn "緯度") domainEnglishFormat.kif 33489-33489
(termFormat EnglishLanguage LatitudeFn "Latitude") Geography.kif 548-548
(termFormat EnglishLanguage LatitudeFn "latitude") domainEnglishFormat.kif 33488-33488

antecedent
-------------------------


(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90.0))
Geography.kif 564-568
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))
Geography.kif 558-562

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 3720-3740
(=>
    (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 570-577

statement
-------------------------


(equal NorthPole
    (LatitudeFn North
        (MeasureFn 90 AngularDegree)))
Geography.kif 3970-3973
(equal SouthPole
    (LatitudeFn South
        (MeasureFn 90 AngularDegree)))
Geography.kif 3997-4000
(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 4869-4876


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners