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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tropics

Sigma KEE - Tropics
Tropics

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


(documentation Tropics EnglishLanguage "The Tropics is the region of PlanetEarth that lies between 23°26′11.5″(or 23.43652°)North latitude and 23°26′11.5″(or 23.43652°) South latitude, encircling the globe.") Geography.kif 3524-3526
(externalImage Tropics "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ World_Koppen_Map.png") pictureList.kif 3024-3024
(externalImage Tropics "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ World_map_torrid.svg") pictureList.kif 3262-3262
(externalImage Tropics "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ tropics.png") pictureList.kif 798-798
(instance Tropics GeographicArea) Geography.kif 3520-3520
(overlapsSpatially Tropics EasternHemisphere) Geography.kif 3552-3552
(overlapsSpatially Tropics NorthernHemisphere) Geography.kif 3550-3550
(overlapsSpatially Tropics SouthernHemisphere) Geography.kif 3551-3551
(overlapsSpatially Tropics WesternHemisphere) Geography.kif 3553-3553

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


(names "Tropics" Tropics) Geography.kif 3521-3521
(names "the Tropics" Tropics) Geography.kif 3522-3522
(termFormat ChineseLanguage Tropics "热带") domainEnglishFormat.kif 59250-59250
(termFormat ChineseTraditionalLanguage Tropics "熱帶") domainEnglishFormat.kif 59249-59249
(termFormat EnglishLanguage Tropics "tropics") domainEnglishFormat.kif 59248-59248

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


(=>
    (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 3528-3548

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


(=>
    (instance ?STORM TropicalCyclonicSystem)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (geographicSubregion ?PLACE Tropics)
            (origin ?STORM ?PLACE))))
Weather.kif 619-625


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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