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 3591-3593
(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 3023-3023
(externalImage Tropics "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ World_map_torrid.svg")	pictureList.kif 3261-3261
(instance Tropics GeographicArea)	Geography.kif 3587-3587	Tropics is an instance of geographic area
(overlapsSpatially Tropics EasternHemisphere)	Geography.kif 3619-3619	Tropics and eastern hemisphere overlapsSpatially
(overlapsSpatially Tropics NorthernHemisphere)	Geography.kif 3617-3617	Tropics and northern hemisphere overlapsSpatially
(overlapsSpatially Tropics SouthernHemisphere)	Geography.kif 3618-3618	Tropics and southern hemisphere overlapsSpatially
(overlapsSpatially Tropics WesternHemisphere)	Geography.kif 3620-3620	Tropics and western hemisphere overlapsSpatially

appearance as argument number 2

(names "Tropics" Tropics)	Geography.kif 3588-3588	Tropics has name "Tropics"
(names "the Tropics" Tropics)	Geography.kif 3589-3589	Tropics has name "the Tropics"
(termFormat ChineseLanguage Tropics "热带")	domainEnglishFormat.kif 59314-59314	Tropics has name "the Tropics"
(termFormat ChineseTraditionalLanguage Tropics "熱帶")	domainEnglishFormat.kif 59313-59313	Tropics has name "the Tropics"
(termFormat EnglishLanguage Tropics "tropics")	domainEnglishFormat.kif 59312-59312	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 3595-3615

consequent

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

Weather.kif 603-609