Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  TropicalClimateZone

 Sigma KEE - TropicalClimateZone
TropicalClimateZone(tropical climate zone)
tropic, tropical

appearance as argument number 1
-------------------------


(subclass TropicalClimateZone ClimateZone) Geography.kif 2735-2735 Tropical climate zone is a subclass of climate zone
(documentation TropicalClimateZone EnglishLanguage "TropicalClimateZone is a subclass of ClimateZone in which the average temperature of the coldest month is greater than 18 degrees Celsius. This is Class 'A' in the Koeppen climate classification system.") Geography.kif 2737-2740 Tropical climate zone is a subclass of climate zone
(externalImage TropicalClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 32/ World_Koppen_Map.png") pictureList.kif 3018-3018 Tropical climate zone is a subclass of climate zone
(externalImage TropicalClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4a/ World_map_torrid.svg") pictureList.kif 3247-3247 Tropical climate zone is a subclass of climate zone
(externalImage TropicalClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Tropical_area_mactan_philippines.jpg") pictureList.kif 3248-3248 Tropical climate zone is a subclass of climate zone
(externalImage TropicalClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ b/ b3/ Male_lion_on_savanna.jpg") pictureList.kif 3249-3249 Tropical climate zone is a subclass of climate zone

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


(subclass WetTropicalClimateZone TropicalClimateZone) Geography.kif 2766-2766 Wet tropical climate zone is a subclass of tropical climate zone
(subclass MonsoonClimateZone TropicalClimateZone) Geography.kif 2791-2791 Monsoon climate zone is a subclass of tropical climate zone
(termFormat EnglishLanguage TropicalClimateZone "tropical climate zone") domainEnglishFormat.kif 59215-59215 Monsoon climate zone is a subclass of tropical climate zone
(termFormat ChineseTraditionalLanguage TropicalClimateZone "熱帶氣候區") domainEnglishFormat.kif 59216-59216 Monsoon climate zone is a subclass of tropical climate zone
(termFormat ChineseLanguage TropicalClimateZone "热带气候区") domainEnglishFormat.kif 59217-59217 Monsoon climate zone is a subclass of tropical climate zone

antecedent
-------------------------


(=>
    (climateTypeInArea ?AREA TropicalClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan ?TEMP 18.0)
            (not
                (exists (?M2 ?MT2)
                    (and
                        (averageTemperatureForPeriod ?AREA ?M2
                            (MeasureFn ?MT2 CelsiusDegree))
                        (lessThan ?MT2 ?TEMP)))))))		 Geography.kif 2742-2755 If tropical climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 18.0 and there don't exist W and V such that X average temperature for period W for V celsius degree(s) and V is less than Z
(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))		 Geography.kif 2773-2780 If tropical climate zone is a climate type in area of X, Y is an instance of month, X average rainfall for period Y for Z one thousandth of a meter(s), and Z is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of X


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