Tropics - Sigma Knowledge base Browser

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 3579-3581
(externalImage Tropics "http://articulatesoftware.com/SUMOpictures/geography/ tropics.png")	pictureList.kif 798-798
(externalImage Tropics "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ World_Koppen_Map.png")	pictureList.kif 3022-3022
(externalImage Tropics "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ World_map_torrid.svg")	pictureList.kif 3260-3260
(instance Tropics GeographicArea)	Geography.kif 3575-3575	Tropics is an instance of geographic area
(overlapsSpatially Tropics EasternHemisphere)	Geography.kif 3607-3607	Tropics and eastern hemisphere overlapsSpatially
(overlapsSpatially Tropics NorthernHemisphere)	Geography.kif 3605-3605	Tropics and northern hemisphere overlapsSpatially
(overlapsSpatially Tropics SouthernHemisphere)	Geography.kif 3606-3606	Tropics and southern hemisphere overlapsSpatially
(overlapsSpatially Tropics WesternHemisphere)	Geography.kif 3608-3608	Tropics and western hemisphere overlapsSpatially

appearance as argument number 2

(names "Tropics" Tropics)	Geography.kif 3576-3576	Tropics has name "Tropics"
(names "the Tropics" Tropics)	Geography.kif 3577-3577	Tropics has name "the Tropics"
(termFormat ChineseLanguage Tropics "热带")	domainEnglishFormat.kif 59289-59289	Tropics has name "the Tropics"
(termFormat ChineseTraditionalLanguage Tropics "熱帶")	domainEnglishFormat.kif 59288-59288	Tropics has name "the Tropics"
(termFormat EnglishLanguage Tropics "tropics")	domainEnglishFormat.kif 59287-59287	Tropics has name "the Tropics"

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 3583-3603

consequent

(=>
    (instance ?STORM TropicalCyclonicSystem)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (geographicSubregion ?PLACE Tropics)
            (origin ?STORM ?PLACE))))

Weather.kif 603-609