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 EnglishLanguage LongitudeFn "the meridian at %2 %1") domainEnglishFormat.kif 957-957
(termFormat EnglishLanguage LongitudeFn "Longitude") Geography.kif 449-449
(termFormat EnglishLanguage LongitudeFn "longitude") domainEnglishFormat.kif 6251-6251

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


(=>
    (and
        (instance
            (LongitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 180))
Geography.kif 467-471
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners