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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

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 583-589
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 576-576 The number 1 argument of latitude is an instance of directional attribute
(domain LatitudeFn 2 AngleMeasure) Geography.kif 577-577 The number 2 argument of latitude is an instance of angle measure
(domain LatitudeFn 3 AngleMeasure) Geography.kif 578-578 The number 3 argument of latitude is an instance of angle measure
(domain LatitudeFn 4 AngleMeasure) Geography.kif 579-579 The number 4 argument of latitude is an instance of angle measure
(instance LatitudeFn Function) Geography.kif 575-575 Latitude is an instance of function
(instance LatitudeFn VariableArityRelation) Geography.kif 574-574 Latitude is an instance of variable arity relation
(range LatitudeFn Region) Geography.kif 580-580 The range of latitude is an instance of region

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 581-581
(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 597-601
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))
Geography.kif 591-595

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 3753-3773
(=>
    (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 603-610

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


(equal NorthPole
    (LatitudeFn North
        (MeasureFn 90 AngularDegree)))
Geography.kif 4003-4006 equal North Pole and the region north of 90 angular degree(s)
(equal SouthPole
    (LatitudeFn South
        (MeasureFn 90 AngularDegree)))
Geography.kif 4030-4033 equal South Pole and the region south of 90 angular degree(s)
(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 4902-4909 The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east


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

Show without tree


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