| 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 3591-3593 | |
| (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 3023-3023 | |
| (externalImage Tropics "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ World_map_torrid.svg") | pictureList.kif 3261-3261 | |
| (instance Tropics GeographicArea) | Geography.kif 3587-3587 | 例 熱帶 and GeographicArea |
| (overlapsSpatially Tropics EasternHemisphere) | Geography.kif 3619-3619 | 在空間上重疊 熱帶 and 東半球 |
| (overlapsSpatially Tropics NorthernHemisphere) | Geography.kif 3617-3617 | 在空間上重疊 熱帶 and 北半球 |
| (overlapsSpatially Tropics SouthernHemisphere) | Geography.kif 3618-3618 | 在空間上重疊 熱帶 and 南半球 |
| (overlapsSpatially Tropics WesternHemisphere) | Geography.kif 3620-3620 | 在空間上重疊 熱帶 and 西半球 |
| appearance as argument number 2 |
|
|
| (names "Tropics" Tropics) | Geography.kif 3588-3588 | 名 "Tropics" and 熱帶 |
| (names "the Tropics" Tropics) | Geography.kif 3589-3589 | 名 "the Tropics" and 熱帶 |
| (termFormat ChineseLanguage Tropics "热带") | domainEnglishFormat.kif 59278-59278 | |
| (termFormat ChineseTraditionalLanguage Tropics "熱帶") | domainEnglishFormat.kif 59277-59277 | |
| (termFormat EnglishLanguage Tropics "tropics") | domainEnglishFormat.kif 59276-59276 |
| 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 3595-3615 |
|
| consequent |
|
|
| (=> (instance ?STORM TropicalCyclonicSystem) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (geographicSubregion ?PLACE Tropics) (origin ?STORM ?PLACE)))) |
Weather.kif 603-609 |
|
|
|
|