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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LatitudeFn

 Sigma KEE - LatitudeFn
LatitudeFn

appearance as argument number 1
-------------------------


(documentation LatitudeFn EnglishLanguage "LatitudeFn is a VariableArityRelation used to denote a parallel of latitude. Examples: (LatitudeFn North (MeasureFn 38.0 AngularDegree)), (LatitudeFn South (MeasureFn 23.0 AngularDegree) (MeasureFn 30.0 ArcMinute)), (LatitudeFn South (MeasureFn 60.0 AngularDegree) (MeasureFn 0.0 ArcMinute) (MeasureFn 0.0 ArcSecond)), (LatitudeFn North (MeasureFn 42.0 AngularDegree) (MeasureFn 7.89 ArcMinute)).") Geography.kif 413-419
(domain LatitudeFn 1 DirectionalAttribute) Geography.kif 406-406 Il numero 1 argomenti di LatitudeFn è un istanza di AttributoDirezionale
(domain LatitudeFn 2 AngleMeasure) Geography.kif 407-407 Il numero 2 argomenti di LatitudeFn è un istanza di MisuraAngolare
(domain LatitudeFn 3 AngleMeasure) Geography.kif 408-408 Il numero 3 argomenti di LatitudeFn è un istanza di MisuraAngolare
(domain LatitudeFn 4 AngleMeasure) Geography.kif 409-409 Il numero 4 argomenti di LatitudeFn è un istanza di MisuraAngolare
(instance LatitudeFn Function) Geography.kif 405-405 LatitudeFn è un' istanza di Funzione
(instance LatitudeFn VariableArityRelation) Geography.kif 404-404 LatitudeFn è un' istanza di RelazioneAdArit�Variabile
(range LatitudeFn Region) Geography.kif 410-410 rango di LatitudeFn è un'istanza di Regione

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


(format ChineseLanguage LatitudeFn "%2 的 region %1 ") domainEnglishFormat.kif 3734-3734
(format ChineseTraditionalLanguage LatitudeFn "%2 的 region %1 ") domainEnglishFormat.kif 3733-3733
(format EnglishLanguage LatitudeFn "the region %1 of %2") domainEnglishFormat.kif 3732-3732
(termFormat ChineseLanguage LatitudeFn "纬度") domainEnglishFormat.kif 33479-33479
(termFormat ChineseTraditionalLanguage LatitudeFn "緯度") domainEnglishFormat.kif 33478-33478
(termFormat EnglishLanguage LatitudeFn "Latitude") Geography.kif 411-411
(termFormat EnglishLanguage LatitudeFn "latitude") domainEnglishFormat.kif 33477-33477

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


(=>
    (and
        (instance
            (LatitudeFn ?DIRECTION @ROW) Region)
        (equal
            (ListOrderFn
                (ListFn @ROW) 1)
            (MeasureFn ?NUM AngularDegree)))
    (lessThanOrEqualTo ?NUM 90.0))		 Geography.kif 427-431
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))		 Geography.kif 421-425

consequent
-------------------------


(=>
    (and
        (instance ?PLACE GeographicArea)
        (located ?PLACE ?T)
        (instance ?T Tropics))
    (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
        (and
            (objectGeographicCoordinates ?PLACE
                (MeasureFn ?NUM1 ?U) ?LONG)
            (instance ?U UnitOfAngularMeasure)
            (lessThan ?NUM1 ?NUM2)
            (equal
                (MeasureFn ?NUM2 ?U)
                (LatitudeFn ?DIR
                    (MeasureFn 23.0 AngularDegree)
                    (MeasureFn 26.0 ArcMinute)
                    (MeasureFn 11.5 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))		 Geography.kif 3595-3615
(=>
    (and
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
        (or
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
    (not
        (exists (?AREA ?DIR ?NUM ?LONG)
            (and
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                (or
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5.0)))))		 Weather.kif 627-646
(=>
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
    (length
        (LatitudeFn ?DIRECTION
            (MeasureFn 0.0 AngularDegree)
            (MeasureFn 1.0 ArcMinute)
            (MeasureFn 0.0 ArcSecond))
        (MeasureFn 1.0 NauticalMile)))		 Geography.kif 433-440

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