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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 The number 1 argument of latitude is an instance of directional attribute
(domain LatitudeFn 2 AngleMeasure) Geography.kif 407-407 The number 2 argument of latitude is an instance of angle measure
(domain LatitudeFn 3 AngleMeasure) Geography.kif 408-408 The number 3 argument of latitude is an instance of angle measure
(domain LatitudeFn 4 AngleMeasure) Geography.kif 409-409 The number 4 argument of latitude is an instance of angle measure
(instance LatitudeFn Function) Geography.kif 405-405 Latitude is an instance of function
(instance LatitudeFn VariableArityRelation) Geography.kif 404-404 Latitude is an instance of variable arity relation
(range LatitudeFn Region) Geography.kif 410-410 The range of latitude is an instance of region

appearance as argument number 2

(format ChineseLanguage LatitudeFn "%2 的 region %1 ") domainEnglishFormat.kif 3735-3735
(format ChineseTraditionalLanguage LatitudeFn "%2 的 region %1 ") domainEnglishFormat.kif 3734-3734
(format EnglishLanguage LatitudeFn "the region %1 of %2") domainEnglishFormat.kif 3733-3733
(termFormat ChineseLanguage LatitudeFn "纬度") domainEnglishFormat.kif 33373-33373
(termFormat ChineseTraditionalLanguage LatitudeFn "緯度") domainEnglishFormat.kif 33372-33372
(termFormat EnglishLanguage LatitudeFn "Latitude") Geography.kif 411-411
(termFormat EnglishLanguage LatitudeFn "latitude") domainEnglishFormat.kif 33371-33371


            (LatitudeFn ?DIRECTION @ROW) Region)
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90))
Geography.kif 427-431
        (LatitudeFn ?DIRECTION @ROW) Region)
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))
Geography.kif 421-425


        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
        (LatitudeFn ?DIRECTION
            (MeasureFn 0 AngularDegree)
            (MeasureFn 1 ArcMinute)
            (MeasureFn 0 ArcSecond))
        (MeasureFn 1 NauticalMile)))
Geography.kif 433-440


    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65 AngularDegree)
        (MeasureFn 0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0 AngularDegree)
        (MeasureFn 0 ArcMinute)))
Geography.kif 4390-4392 The geographic center of southern ocean is object geographic coordinates the region south of 65 angular degree(s) for the meridian at 0 angular degree(s) east

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners