Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LongitudeFn
LongitudeFn

appearance as argument number 1
-------------------------


(instance LongitudeFn Function) Geography.kif 1920-1920 Longitude is an instance of function
(instance LongitudeFn VariableArityRelation) Geography.kif 1921-1921 Longitude is an instance of variable arity relation
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 1922-1922 The number 1 argument of longitude is an instance of directional attribute
(domain LongitudeFn 2 AngleMeasure) Geography.kif 1923-1923 The number 2 argument of longitude is an instance of angle measure
(range LongitudeFn PlaneAngleMeasure) Geography.kif 1924-1924 The range of longitude is an instance of plane angle measure
(documentation LongitudeFn EnglishLanguage "(LongitudeFn ?DIRECTION @ROW) denotes a meridian of longitude. Note that LongitudeFn is a VariableArityRelation. Examples: (LongitudeFn East (MeasureFn 180.0 AngularDegree)), (LongitudeFn West (MeasureFn 122.0 AngularDegree) (MeasureFn 24.0 ArcMinute)), (LongitudeFn East (MeasureFn 121.0 AngularDegree) (MeasureFn 0.0 ArcMinute) (MeasureFn 15.0 ArcSecond)), (LongitudeFn West (MeasureFn 80.0 AngularDegree) (MeasureFn 6.78 ArcMinute)).") Geography.kif 1927-1935 The range of longitude is an instance of plane angle measure

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


(termFormat EnglishLanguage LongitudeFn "Longitude") Geography.kif 1925-1925
(format EnglishLanguage LongitudeFn "the meridian at %2 %1") domainEnglishFormat.kif 3786-3786
(format ChineseTraditionalLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3787-3787
(format ChineseLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3788-3788
(termFormat EnglishLanguage LongitudeFn "longitude") domainEnglishFormat.kif 34999-34999
(termFormat ChineseTraditionalLanguage LongitudeFn "經度") domainEnglishFormat.kif 35000-35000
(termFormat ChineseLanguage LongitudeFn "经度") domainEnglishFormat.kif 35001-35001

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


(=>
    (instance
        (LongitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))		 Geography.kif 1937-1941 If the meridian at @ROW Y is an instance of region, then equal Y and east of or equal Y and west of
(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180.0))		 Geography.kif 1943-1950 If the meridian at @ROW Y is an instance of region and equal 1th element of (@ROW) and Z angular degree(s), then Z is less than or equal to 180.0
(=>
    (and
        (instance ?R Region)
        (located ?R Nino1Pluse2)
        (objectGeographicCoordinates ?R
            (LatitudeFn South
                (MeasureFn ?X AngularDegree))
            (LongitudeFn West
                (MeasureFn ?Y AngularDegree))))
    (and
        (greaterThanOrEqualTo ?X 0)
        (lessThanOrEqualTo ?X 10)
        (greaterThanOrEqualTo ?Y 80)
        (lessThanOrEqualTo ?Y 90)))		 Weather.kif 858-871 If X is an instance of region, X is located at Nino 1+2, and X is object geographic coordinates the region south of of Y angular degree(s) for the meridian at Z angular degree(s) west of, then Y is greater than or equal to 0, Y is less than or equal to 10, Z is greater than or equal to 80, and Z is less than or equal to 90
(=>
    (and
        (instance ?R Region)
        (located ?R Nino3)
        (objectGeographicCoordinates ?R
            (LatitudeFn ?DIR
                (MeasureFn ?X AngularDegree))
            (LongitudeFn West
                (MeasureFn ?Y AngularDegree))))
    (and
        (or
            (equal ?DIR North)
            (equal ?DIR South))
        (lessThanOrEqualTo ?X 5)
        (greaterThanOrEqualTo ?Y 90)
        (lessThanOrEqualTo ?Y 150)))		 Weather.kif 881-896 If X is an instance of region, X is located at Nino 3, and X is object geographic coordinates the region Y of Z angular degree(s) for the meridian at W angular degree(s) west of, then equal Y and north of or equal Y and south of, Z is less than or equal to 5, W is greater than or equal to 90, and W is less than or equal to 150
(=>
    (and
        (instance ?R Region)
        (located ?R Nino3Point4)
        (objectGeographicCoordinates ?R
            (LatitudeFn ?DIR
                (MeasureFn ?X AngularDegree))
            (LongitudeFn West
                (MeasureFn ?Y AngularDegree))))
    (and
        (or
            (equal ?DIR North)
            (equal ?DIR South))
        (lessThanOrEqualTo ?X 5)
        (greaterThanOrEqualTo ?Y 120)
        (lessThanOrEqualTo ?Y 170)))		 Weather.kif 908-923 If X is an instance of region, X is located at Nino 3.4, and X is object geographic coordinates the region Y of Z angular degree(s) for the meridian at W angular degree(s) west of, then equal Y and north of or equal Y and south of, Z is less than or equal to 5, W is greater than or equal to 120, and W is less than or equal to 170

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


(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 6204-6211 The geographic center of southern ocean is object geographic coordinates the region south of of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east of


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners