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 AngularDegree)), (LongitudeFn West (MeasureFn 122 AngularDegree) (MeasureFn 24 ArcMinute)), (LongitudeFn East (MeasureFn 121 AngularDegree) (MeasureFn 0 ArcMinute) (MeasureFn 15 ArcSecond)), (LongitudeFn West (MeasureFn 80 AngularDegree) (MeasureFn 6.78 ArcMinute)).") Geography.kif 451-459
(domain LongitudeFn 1 DirectionalAttribute) Geography.kif 444-444
(domain LongitudeFn 2 AngleMeasure) Geography.kif 445-445
(domain LongitudeFn 3 AngleMeasure) Geography.kif 446-446
(domain LongitudeFn 4 AngleMeasure) Geography.kif 447-447
(instance LongitudeFn Function) Geography.kif 442-442
(instance LongitudeFn VariableArityRelation) Geography.kif 443-443
(range LongitudeFn GeographicArea) Geography.kif 448-448

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


(format ChineseLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3795-3795
(format ChineseTraditionalLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3794-3794
(format EnglishLanguage LongitudeFn "the meridian at %2 %1") domainEnglishFormat.kif 3793-3793
(termFormat ChineseLanguage LongitudeFn "经度") domainEnglishFormat.kif 34987-34987
(termFormat ChineseTraditionalLanguage LongitudeFn "經度") domainEnglishFormat.kif 34986-34986
(termFormat EnglishLanguage LongitudeFn "Longitude") Geography.kif 449-449
(termFormat EnglishLanguage LongitudeFn "longitude") domainEnglishFormat.kif 34985-34985

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


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

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