TreeView Knowledge Base Browser

appearance as argument number 1

(instance Tropics GeographicArea)	Geography.kif 5013-5013	Tropics is an instance of geographic area
(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′9.4″(or 23.43595°) South latitude, encircling the globe.")	Geography.kif 5017-5019	Tropics is an instance of geographic area
(externallyConnected Tropics TropicOfCancer)	Geography.kif 5042-5042	Tropics and Tropic of Cancer are externallyConnected
(externallyConnected Tropics TropicOfCapricorn)	Geography.kif 5043-5043	Tropics and Tropic of Capricorn are externallyConnected
(overlapsSpatially Tropics NorthernHemisphere)	Geography.kif 5045-5045	Tropics and northern hemisphere overlapsSpatially
(overlapsSpatially Tropics SouthernHemisphere)	Geography.kif 5046-5046	Tropics and southern hemisphere overlapsSpatially
(overlapsSpatially Tropics EasternHemisphere)	Geography.kif 5047-5047	Tropics and eastern hemisphere overlapsSpatially
(overlapsSpatially Tropics WesternHemisphere)	Geography.kif 5048-5048	Tropics and western hemisphere overlapsSpatially
(externalImage Tropics "http://articulatesoftware.com/SUMOpictures/geography/ tropics.png")	pictureList.kif 798-798	Tropics and western hemisphere overlapsSpatially
(externalImage Tropics "http://upload.wikimedia.org/wikipedia/commons/3/ 32/ World_Koppen_Map.png")	pictureList.kif 3022-3022	Tropics and western hemisphere overlapsSpatially
(externalImage Tropics "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ World_map_torrid.svg")	pictureList.kif 3260-3260	Tropics and western hemisphere overlapsSpatially

appearance as argument number 2

(names "Tropics" Tropics)	Geography.kif 5014-5014	Tropics has name "Tropics"
(names "the Tropics" Tropics)	Geography.kif 5015-5015	Tropics has name "the Tropics"
(termFormat EnglishLanguage Tropics "tropics")	domainEnglishFormat.kif 59251-59251	Tropics has name "the Tropics"
(termFormat ChineseTraditionalLanguage Tropics "熱帶")	domainEnglishFormat.kif 59252-59252	Tropics has name "the Tropics"
(termFormat ChineseLanguage Tropics "热带")	domainEnglishFormat.kif 59253-59253	Tropics has name "the Tropics"

antecedent

(=>
    (and
        (instance ?PLACE GeographicArea)
        (located ?PLACE 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 9.4 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))

Geography.kif 5021-5040

If X is an instance of geographic area and X is located at tropics, then there exist Y, Z,, , W,, , V and U such that X is object geographic coordinates Y U(s) for Z and U is an instance of unit of angular measure and Y is less than V and equal V U(s) and the region W of 23.0 angular degree(s) and W is an instance of directional attribute and equal W and north of or equal W and south of

consequent

(=> (and (instance ?E ElNinoSouthernOscillation) (origin ?E ?R)) (and (located ?R Tropics) (geographicSubregion ?R PacificOcean)))	Weather.kif 505-511	If X is an instance of el nino southern oscillation and X originates at Y, then Y is located at tropics and Y is a geographic subregion of pacific ocean
(=> (instance ?STORM TropicalCyclonicSystem) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (geographicSubregion ?PLACE Tropics) (origin ?STORM ?PLACE))))	Weather.kif 1044-1050	If X is an instance of tropical cyclonic system, then there exists Y such that Y is an instance of geographic area, Y is a geographic subregion of tropics, and X originates at Y

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: