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

Formal Language: 


KB Term:  Term intersection
English Word: 

  LongitudeFn

 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 621-629
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 614-614
(domain LongitudeFn 2 AngleMeasure) Geography.kif 615-615
(domain LongitudeFn 3 AngleMeasure) Geography.kif 616-616
(domain LongitudeFn 4 AngleMeasure) Geography.kif 617-617
(instance LongitudeFn Function) Geography.kif 612-612
(instance LongitudeFn VariableArityRelation) Geography.kif 613-613
(range LongitudeFn GeographicArea) Geography.kif 618-618

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


(format ChineseLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3788-3788
(format ChineseTraditionalLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3787-3787
(format EnglishLanguage LongitudeFn "the meridian at %2 %1") domainEnglishFormat.kif 3786-3786
(termFormat ChineseLanguage LongitudeFn "经度") domainEnglishFormat.kif 35008-35008
(termFormat ChineseTraditionalLanguage LongitudeFn "經度") domainEnglishFormat.kif 35007-35007
(termFormat EnglishLanguage LongitudeFn "Longitude") Geography.kif 619-619
(termFormat EnglishLanguage LongitudeFn "longitude") domainEnglishFormat.kif 35006-35006

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


(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180.0))		 Geography.kif 637-644
(=>
    (instance
        (LongitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION East)
        (equal ?DIRECTION West)))		 Geography.kif 631-635

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 4902-4909


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