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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Continent
Continent
قارّة, قارّة أُرُوبّا البرِّية الرّئيسِيّة, قارّة أُرُوبّا اليابِسة, قارّة أُرُوبّا البرِّية, أُراسيا, اُراسيا, قارِّي, قارِّيّ,

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


(documentation Continent ChineseLanguage "按照美国中情局关于世界事实一书的定义,Continent 包括 七个地块:AfricaNorthAmericaSouthAmericaAntarcticaEuropeAsiaOceania。注:Australia在其他某些系统被定义为大陆,但是在事实这书则被列入 Oceania。因此,没有 一个 Nation 同时也是 Continent。") Merge.kif 14151-14154
(documentation Continent 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 14145-14150
(externalImage Continent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Continents_vide_couleurs.png") pictureList.kif 2560-2560
(externalImage Continent "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ Continental_models.gif") pictureList.kif 2452-2452
(subclass Continent LandArea) Merge.kif 14143-14143

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


(disjoint Nation Continent) Geography.kif 3365-3365
(instance Africa Continent) Geography.kif 3367-3367
(instance Antarctica Continent) Geography.kif 3383-3383
(instance Asia Continent) Geography.kif 3394-3394
(instance Europe Continent) CountriesAndRegions.kif 43-43
(instance NorthAmerica Continent) Geography.kif 3373-3373
(instance Oceania Continent) Geography.kif 3400-3400
(instance SouthAmerica Continent) Geography.kif 3377-3377
(termFormat ChineseLanguage Continent "大陆") chinese_format.kif 956-956
(termFormat EnglishLanguage Continent "continent") english_format.kif 643-643
(termFormat FrenchLanguage Continent "continent") french_format.kif 632-632
(termFormat Hindi Continent "mahaadvIpa") terms-hindi.txt 163-163
(termFormat ItalianLanguage Continent "Continente") terms-it.txt 164-164
(termFormat PortugueseLanguage Continent "Continente") portuguese_format.kif 584-584
(termFormat ar Continent "قَارَّة") arabic_format.kif 368-368
(termFormat cb Continent "mapugnganon") terms-cb.txt 168-168
(termFormat cz Continent "continent") terms-cz.txt 200-200
(termFormat tg Continent "Kontinente") terms-tg.txt 167-167

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


(<=>
    (instance ?CONTINENT Continent)
    (or
        (equal Africa ?CONTINENT)
        (equal NorthAmerica ?CONTINENT)
        (equal SouthAmerica ?CONTINENT)
        (equal Antarctica ?CONTINENT)
        (equal Europe ?CONTINENT)
        (equal Asia ?CONTINENT)
        (equal Oceania ?CONTINENT)))
Geography.kif 3350-3359
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))
Geography.kif 292-296
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3361-3363
(=>
    (instance ?AREA Continent)
    (meetsSpatially ?AREA WorldOcean))
Geography.kif 4252-4254

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


(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))
Merge.kif 14119-14126