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 经度 的 1 数量 是 方向属性instance
(domain LongitudeFn 2 AngleMeasure) Geography.kif 445-445 经度 的 2 数量 是 角度测量instance
(domain LongitudeFn 3 AngleMeasure) Geography.kif 446-446 经度 的 3 数量 是 角度测量instance
(domain LongitudeFn 4 AngleMeasure) Geography.kif 447-447 经度 的 4 数量 是 角度测量instance
(instance LongitudeFn Function) Geography.kif 442-442 经度函数instance
(instance LongitudeFn VariableArityRelation) Geography.kif 443-443 经度不定次元关系instance
(range LongitudeFn GeographicArea) Geography.kif 448-448 经度range地理区域 的实例

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 34980-34980
(termFormat ChineseTraditionalLanguage LongitudeFn "經度") domainEnglishFormat.kif 34979-34979
(termFormat EnglishLanguage LongitudeFn "Longitude") Geography.kif 449-449
(termFormat EnglishLanguage LongitudeFn "longitude") domainEnglishFormat.kif 34978-34978

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 4561-4568 南部海洋geographic 中心 是 对于 在 0.0 圆周角度 meridianobject 地理座标 65.0 圆周角度region


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