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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LongitudeFn
LongitudeFn

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


(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 451-459
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 444-444 The number 1 argument of longitude is an instance of directional attribute
(domain LongitudeFn 2 AngleMeasure) Geography.kif 445-445 The number 2 argument of longitude is an instance of angle measure
(domain LongitudeFn 3 AngleMeasure) Geography.kif 446-446 The number 3 argument of longitude is an instance of angle measure
(domain LongitudeFn 4 AngleMeasure) Geography.kif 447-447 The number 4 argument of longitude is an instance of angle measure
(instance LongitudeFn Function) Geography.kif 442-442 Longitude is an instance of function
(instance LongitudeFn VariableArityRelation) Geography.kif 443-443 Longitude is an instance of variable arity relation
(range LongitudeFn GeographicArea) Geography.kif 448-448 The range of longitude is an instance of geographic area

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


(format ChineseLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3784-3784
(format ChineseTraditionalLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3783-3783
(format EnglishLanguage LongitudeFn "the meridian at %2 %1") domainEnglishFormat.kif 3782-3782
(termFormat ChineseLanguage LongitudeFn "经度") domainEnglishFormat.kif 35031-35031
(termFormat ChineseTraditionalLanguage LongitudeFn "經度") domainEnglishFormat.kif 35030-35030
(termFormat EnglishLanguage LongitudeFn "Longitude") Geography.kif 449-449
(termFormat EnglishLanguage LongitudeFn "longitude") domainEnglishFormat.kif 35029-35029

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


(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180.0))		 Geography.kif 467-474
(=>
    (instance
        (LongitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))		 Geography.kif 461-465

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