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 ist ein fall von GeographicArea %n{nicht}
(overlapsSpatially Tropics EasternHemisphere)	Geography.kif 3619-3619	Tropics deckt sich mit EasternHemisphere raeumlich %n{nicht}
(overlapsSpatially Tropics NorthernHemisphere)	Geography.kif 3617-3617	Tropics deckt sich mit NorthernHemisphere raeumlich %n{nicht}
(overlapsSpatially Tropics SouthernHemisphere)	Geography.kif 3618-3618	Tropics deckt sich mit SouthernHemisphere raeumlich %n{nicht}
(overlapsSpatially Tropics WesternHemisphere)	Geography.kif 3620-3620	Tropics deckt sich mit WesternHemisphere raeumlich %n{nicht}

appearance as argument number 2

(names "Tropics" Tropics)	Geography.kif 3588-3588	names "Tropics" and Tropics
(names "the Tropics" Tropics)	Geography.kif 3589-3589	names "the Tropics" and Tropics
(termFormat ChineseLanguage Tropics "热带")	domainEnglishFormat.kif 59276-59276
(termFormat ChineseTraditionalLanguage Tropics "熱帶")	domainEnglishFormat.kif 59275-59275
(termFormat EnglishLanguage Tropics "tropics")	domainEnglishFormat.kif 59274-59274

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 619-625