| 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 3517-3519 | |
| (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 3513-3513 | |
| (overlapsSpatially Tropics EasternHemisphere) | Geography.kif 3545-3545 | |
| (overlapsSpatially Tropics NorthernHemisphere) | Geography.kif 3543-3543 | |
| (overlapsSpatially Tropics SouthernHemisphere) | Geography.kif 3544-3544 | |
| (overlapsSpatially Tropics WesternHemisphere) | Geography.kif 3546-3546 |
| appearance as argument number 2 |
|
|
| (names "Tropics" Tropics) | Geography.kif 3514-3514 | |
| (names "the Tropics" Tropics) | Geography.kif 3515-3515 | |
| (termFormat ChineseLanguage Tropics "热带") | domainEnglishFormat.kif 59285-59285 | |
| (termFormat ChineseTraditionalLanguage Tropics "熱帶") | domainEnglishFormat.kif 59284-59284 | |
| (termFormat EnglishLanguage Tropics "tropics") | domainEnglishFormat.kif 59283-59283 |
| 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 3521-3541 |
| consequent |
|
|
| (=> (instance ?STORM TropicalCyclonicSystem) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (geographicSubregion ?PLACE Tropics) (origin ?STORM ?PLACE)))) |
Weather.kif 619-625 |
|
|
|