| 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 3579-3581 | |
| (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 3022-3022 | |
| (externalImage Tropics "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ World_map_torrid.svg") | pictureList.kif 3260-3260 | |
| (instance Tropics GeographicArea) | Geography.kif 3575-3575 | Tropics は 地理的地域 の instance では %n |
| (overlapsSpatially Tropics EasternHemisphere) | Geography.kif 3607-3607 | overlapsSpatially Tropics and EasternHemisphere |
| (overlapsSpatially Tropics NorthernHemisphere) | Geography.kif 3605-3605 | overlapsSpatially Tropics and NorthernHemisphere |
| (overlapsSpatially Tropics SouthernHemisphere) | Geography.kif 3606-3606 | overlapsSpatially Tropics and SouthernHemisphere |
| (overlapsSpatially Tropics WesternHemisphere) | Geography.kif 3608-3608 | overlapsSpatially Tropics and WesternHemisphere |
| appearance as argument number 2 |
|
|
| (names "Tropics" Tropics) | Geography.kif 3576-3576 | Tropics は "Tropics" の name を 持って %n{ない} |
| (names "the Tropics" Tropics) | Geography.kif 3577-3577 | Tropics は "the Tropics" の name を 持って %n{ない} |
| (termFormat ChineseLanguage Tropics "热带") | domainEnglishFormat.kif 59289-59289 | Tropics は "the Tropics" の name を 持って %n{ない} |
| (termFormat ChineseTraditionalLanguage Tropics "熱帶") | domainEnglishFormat.kif 59288-59288 | Tropics は "the Tropics" の name を 持って %n{ない} |
| (termFormat EnglishLanguage Tropics "tropics") | domainEnglishFormat.kif 59287-59287 | Tropics は "the Tropics" の name を 持って %n{ない} |
| 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 3583-3603 |
|
| consequent |
|
|
| (=> (instance ?STORM TropicalCyclonicSystem) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (geographicSubregion ?PLACE Tropics) (origin ?STORM ?PLACE)))) |
Weather.kif 603-609 |
|
|
|