Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Continent
Continent(continent)
African, Continent, Eurasia, Gondwanaland, Laurasia, Pangaea, Pangea, continent, continent-wide, continental, intercontinental, transcontinental

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


s__documentation(s__Continent,s__ChineseLanguage,'"按照美国中情局关于世界事实一书的定义,Continent 包括 七个地块:AfricaNorthAmericaSouthAmericaAntarcticaEuropeAsiaOceania。注:Australia在其他某些系统被定义为大陆,但是在事实这书则被列入 Oceania。因此,没有 一个 Nation 同时也是 Continent。"')

chinese_format.kif 3341-3344
s__documentation(s__Continent,s__EnglishLanguage,'"As defined in the CIA World Fact Book, Continent covers seven land masses: Africa, NorthAmerica, SouthAmerica, Antarctica, Europe, Asia, and Oceania. Note that Australia, counted as a continent in some other systems, is included in Oceania in the Fact Book. As a consequence, there is no Nation which is also a Continent."')

Merge.kif 13512-13517
s__externalImage(s__Continent,'"http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Continents_vide_couleurs.png"')

pictureList.kif 2560-2560
s__externalImage(s__Continent,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ Continental_models.gif"')

pictureList.kif 2452-2452
s__instance(s__LandArea,s__SetOrClass)

s__subclass(s__Continent,s__LandArea)

s__instance(s__Continent,s__SetOrClass)

Merge.kif 13510-13510 Continent is a subclass of land area

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


s__disjoint(s__Nation,s__Continent)

Geography.kif 3400-3400 Nation is disjoint from continent
s__instance(s__Africa,s__Continent)

s__instance(s__Continent,s__SetOrClass)

Geography.kif 3402-3402 Africa is an instance of continent
s__instance(s__Antarctica,s__Continent)

s__instance(s__Continent,s__SetOrClass)

Geography.kif 3418-3418 Antarctica is an instance of continent
s__instance(s__Asia,s__Continent)

s__instance(s__Continent,s__SetOrClass)

Geography.kif 3429-3429 Asia is an instance of continent
s__instance(s__Europe,s__Continent)

s__instance(s__Continent,s__SetOrClass)

CountriesAndRegions.kif 43-43 Europe is an instance of continent
s__instance(s__NorthAmerica,s__Continent)

s__instance(s__Continent,s__SetOrClass)

Geography.kif 3408-3408 North america is an instance of continent
s__instance(s__Oceania,s__Continent)

s__instance(s__Continent,s__SetOrClass)

Geography.kif 3435-3435 Oceania is an instance of continent
s__instance(s__SouthAmerica,s__Continent)

s__instance(s__Continent,s__SetOrClass)

Geography.kif 3412-3412 South america is an instance of continent
s__termFormat(s__ChineseLanguage,s__Continent,'"大陆"')

chinese_format.kif 956-956
s__termFormat(s__EnglishLanguage,s__Continent,'"continent"')

english_format.kif 1124-1124

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


( ! [V__CONTINENT] :
   (((s__instance(V__CONTINENT,s__Continent) =>
         ((s__Africa = V__CONTINENT)
           |
           (s__NorthAmerica = V__CONTINENT)
           |
           (s__SouthAmerica = V__CONTINENT)
           |
           (s__Antarctica = V__CONTINENT)
           |
           (s__Europe = V__CONTINENT)
           |
           (s__Asia = V__CONTINENT)
           |
           (s__Oceania = V__CONTINENT)))
       &
       (((s__Africa = V__CONTINENT)
           |
           (s__NorthAmerica = V__CONTINENT)
           |
           (s__SouthAmerica = V__CONTINENT)
           |
           (s__Antarctica = V__CONTINENT)
           |
           (s__Europe = V__CONTINENT)
           |
           (s__Asia = V__CONTINENT)
           |
           (s__Oceania = V__CONTINENT))
         =>
         s__instance(V__CONTINENT,s__Continent)))
     )
   )

Geography.kif 3385-3394 An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity
( ! [V__LAND] :
   (((s__instance(V__LAND,s__Continent) &
         ~((V__LAND = s__Antarctica)))
         =>
         (s__orientation(s__Antarctica,V__LAND,s__South)))
       )
     )

Geography.kif 292-296
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Continent) =>
       (s__geographicSubregion(V__AREA,s__PlanetEarth)))
     )
   )

Geography.kif 3396-3398
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Continent) =>
       (s__meetsSpatially(V__AREA,s__WorldOcean)))
     )
   )

Geography.kif 4323-4325

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


( ! [V__LAND1] :
   ((s__instance(V__LAND1,s__LandArea) =>
       (( ? [V__LAND2] :
           ((s__part(V__LAND1,V__LAND2)
             &
             (s__instance(V__LAND2,s__Continent) |
               s__instance(V__LAND2,s__Island)))))))
   )
)

Merge.kif 13488-13495