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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GhalebiehIraq

 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 Il numero 1 argomenti di LongitudeFn è un istanza di AttributoDirezionale
(domain LongitudeFn 2 AngleMeasure) Geography.kif 445-445 Il numero 2 argomenti di LongitudeFn è un istanza di MisuraAngolare
(domain LongitudeFn 3 AngleMeasure) Geography.kif 446-446 Il numero 3 argomenti di LongitudeFn è un istanza di MisuraAngolare
(domain LongitudeFn 4 AngleMeasure) Geography.kif 447-447 Il numero 4 argomenti di LongitudeFn è un istanza di MisuraAngolare
(instance LongitudeFn Function) Geography.kif 442-442 LongitudeFn è un' istanza di Funzione
(instance LongitudeFn VariableArityRelation) Geography.kif 443-443 LongitudeFn è un' istanza di RelazioneAdArit�Variabile
(range LongitudeFn GeographicArea) Geography.kif 448-448 rango di LongitudeFn è un'istanza di AreaGeografica

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


(format ChineseLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3790-3790
(format ChineseTraditionalLanguage LongitudeFn "在 %2 %1 的 meridian ") domainEnglishFormat.kif 3789-3789
(format EnglishLanguage LongitudeFn "the meridian at %2 %1") domainEnglishFormat.kif 3788-3788
(termFormat ChineseLanguage LongitudeFn "经度") domainEnglishFormat.kif 34997-34997
(termFormat ChineseTraditionalLanguage LongitudeFn "經度") domainEnglishFormat.kif 34996-34996
(termFormat EnglishLanguage LongitudeFn "Longitude") Geography.kif 449-449
(termFormat EnglishLanguage LongitudeFn "longitude") domainEnglishFormat.kif 34995-34995

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

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