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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3513-3515
(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 3509-3509 热带地理区域instance
(overlapsSpatially Tropics EasternHemisphere) Geography.kif 3541-3541 热带东半球 重叠
(overlapsSpatially Tropics NorthernHemisphere) Geography.kif 3539-3539 热带北半球 重叠
(overlapsSpatially Tropics SouthernHemisphere) Geography.kif 3540-3540 热带南半球 重叠
(overlapsSpatially Tropics WesternHemisphere) Geography.kif 3542-3542 热带西半球 重叠

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


(names "Tropics" Tropics) Geography.kif 3510-3510 热带 的名 是 "Tropics"
(names "the Tropics" Tropics) Geography.kif 3511-3511 热带 的名 是 "the Tropics"
(termFormat ChineseLanguage Tropics "热带") domainEnglishFormat.kif 59243-59243
(termFormat ChineseTraditionalLanguage Tropics "熱帶") domainEnglishFormat.kif 59242-59242
(termFormat EnglishLanguage Tropics "tropics") domainEnglishFormat.kif 59241-59241

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 3517-3537

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


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


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



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