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 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, 1 and DirectionalAttribute
(domain LongitudeFn 2 AngleMeasure) Geography.kif 445-445 domain LongitudeFn, 2 and AngleMeasure
(domain LongitudeFn 3 AngleMeasure) Geography.kif 446-446 domain LongitudeFn, 3 and AngleMeasure
(domain LongitudeFn 4 AngleMeasure) Geography.kif 447-447 domain LongitudeFn, 4 and AngleMeasure
(instance LongitudeFn Function) Geography.kif 442-442 instance LongitudeFn and Function
(instance LongitudeFn VariableArityRelation) Geography.kif 443-443 instance LongitudeFn and VariableArityRelation
(range LongitudeFn GeographicArea) Geography.kif 448-448 range LongitudeFn and GeographicArea

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


(format ChineseLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3791-3791
(format ChineseTraditionalLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3790-3790
(format EnglishLanguage LongitudeFn "the meridian at %2 %1") domainEnglishFormat.kif 3789-3789
(termFormat ChineseLanguage LongitudeFn "经度") domainEnglishFormat.kif 34891-34891
(termFormat ChineseTraditionalLanguage LongitudeFn "經度") domainEnglishFormat.kif 34890-34890
(termFormat EnglishLanguage LongitudeFn "Longitude") Geography.kif 449-449
(termFormat EnglishLanguage LongitudeFn "longitude") domainEnglishFormat.kif 34889-34889

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

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


(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65 AngularDegree)
        (MeasureFn 0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0 AngularDegree)
        (MeasureFn 0 ArcMinute)))		 Geography.kif 4390-4392 objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, MeasureFn 65 and AngularDegree and MeasureFn 0 and ArcMinute and LongitudeFn East, MeasureFn 0 and AngularDegree and MeasureFn 0 and ArcMinute


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners