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

KB Term:  Term intersection
English Word: 

Sigma KEE - WesternAfrica
WesternAfrica(western africa)

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


(instance WesternAfrica GeographicArea) Geography.kif 82-82 Western africa is an instance of geographic area
(geographicSubregion WesternAfrica Africa) Geography.kif 143-143 Western africa is a geographic subregion of africa
(overlapsSpatially WesternAfrica EasternHemisphere) Geography.kif 201-201 Western africa and eastern hemisphere overlapsSpatially
(overlapsSpatially WesternAfrica WesternHemisphere) Geography.kif 202-202 Western africa and western hemisphere overlapsSpatially
(overlapsSpatially WesternAfrica NorthernHemisphere) Geography.kif 203-203 Western africa and northern hemisphere overlapsSpatially
(overlapsSpatially WesternAfrica SouthernHemisphere) Geography.kif 204-204 Western africa and southern hemisphere overlapsSpatially
(externalImage WesternAfrica "http://upload.wikimedia.org/wikipedia/en/e/ e3/ ManillaOkhapos.JPG") pictureList.kif 6974-6974 Western africa and southern hemisphere overlapsSpatially
(externalImage WesternAfrica "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ LocationWesternAfrica.png") pictureList.kif 8260-8260 Western africa and southern hemisphere overlapsSpatially

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


(geographicSubregion Benin WesternAfrica) CountriesAndRegions.kif 191-191 Benin is a geographic subregion of western africa
(geographicSubregion BurkinaFaso WesternAfrica) CountriesAndRegions.kif 193-193 Burkina faso is a geographic subregion of western africa
(geographicSubregion Cameroon WesternAfrica) CountriesAndRegions.kif 195-195 Cameroon is a geographic subregion of western africa
(geographicSubregion CapeVerde WesternAfrica) CountriesAndRegions.kif 197-197 Cape verde is a geographic subregion of western africa
(geographicSubregion CoteDIvoire WesternAfrica) CountriesAndRegions.kif 199-199 CoteD ivoire is a geographic subregion of western africa
(geographicSubregion EquatorialGuinea WesternAfrica) CountriesAndRegions.kif 201-201 Equatorial guinea is a geographic subregion of western africa
(geographicSubregion Gabon WesternAfrica) CountriesAndRegions.kif 203-203 Gabon is a geographic subregion of western africa
(geographicSubregion Gambia WesternAfrica) CountriesAndRegions.kif 205-205 Gambia is a geographic subregion of western africa
(geographicSubregion Ghana WesternAfrica) CountriesAndRegions.kif 207-207 Ghana is a geographic subregion of western africa
(geographicSubregion Guinea WesternAfrica) CountriesAndRegions.kif 209-209 Guinea is a geographic subregion of western africa
(geographicSubregion GuineaBissau WesternAfrica) CountriesAndRegions.kif 211-211 Guinea bissau is a geographic subregion of western africa
(geographicSubregion Liberia WesternAfrica) CountriesAndRegions.kif 213-213 Liberia is a geographic subregion of western africa
(geographicSubregion Mali WesternAfrica) CountriesAndRegions.kif 215-215 Mali is a geographic subregion of western africa
(geographicSubregion Niger WesternAfrica) CountriesAndRegions.kif 217-217 Niger is a geographic subregion of western africa
(geographicSubregion Nigeria WesternAfrica) CountriesAndRegions.kif 219-219 Nigeria is a geographic subregion of western africa
(geographicSubregion SaoTomeAndPrincipe WesternAfrica) CountriesAndRegions.kif 221-221 Sao tome and principe is a geographic subregion of western africa
(geographicSubregion Senegal WesternAfrica) CountriesAndRegions.kif 223-223 Senegal is a geographic subregion of western africa
(geographicSubregion SierraLeone WesternAfrica) CountriesAndRegions.kif 225-225 Sierra leone is a geographic subregion of western africa
(geographicSubregion Togo WesternAfrica) CountriesAndRegions.kif 227-227 Togo is a geographic subregion of western africa
(names "Western Africa" WesternAfrica) Geography.kif 112-112 Western africa has name "Western Africa"
(termFormat EnglishLanguage WesternAfrica "western africa") domainEnglishFormat.kif 62752-62752 Western africa has name "Western Africa"
(termFormat ChineseTraditionalLanguage WesternAfrica "西非") domainEnglishFormat.kif 62753-62753 Western africa has name "Western Africa"
(termFormat ChineseLanguage WesternAfrica "西非") domainEnglishFormat.kif 62754-62754 Western africa has name "Western Africa"

appearance as argument number 3
-------------------------


(between SouthAmerica SaintHelena WesternAfrica) CountriesAndRegions.kif 233-233 Saint helena is between south america and western africa

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


(=>
    (and
        (instance ?W HarmattanWind)
        (eventLocated ?W WesternAfrica)
        (origin ?W SaharaDesert)
        (destination ?W GulfOfGuinea)
        (located ?W ?LOC))
    (holdsDuring
        (WhenFn ?W)
        (surfaceWindDirection ?LOC Northeast)))		 Weather.kif 1994-2003 If X is an instance of harmattan wind, X is located at western africa, X originates at Sahara Desert, X ends up at Gulf Of Guinea, and X is located at Y, then northeast of is a surface wind direction of Y holds during the time of existence of X

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


(=>
    (instance ?H HarmattanSeason)
    (located ?H WesternAfrica))		 Weather.kif 2024-2026 If X is an instance of Harmattan season, then X is located at western africa


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners