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。") chinese_format.kif 3341-3344
(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 13044-13049
(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 13042-13042

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


(disjoint Nation Continent) Geography.kif 3378-3378
(instance Africa Continent) Geography.kif 3380-3380
(instance Antarctica Continent) Geography.kif 3396-3396
(instance Asia Continent) Geography.kif 3407-3407
(instance Europe Continent) CountriesAndRegions.kif 43-43
(instance NorthAmerica Continent) Geography.kif 3386-3386
(instance Oceania Continent) Geography.kif 3413-3413
(instance SouthAmerica Continent) Geography.kif 3390-3390
(termFormat ChineseLanguage Continent "大陆") chinese_format.kif 956-956
(termFormat EnglishLanguage Continent "continent") english_format.kif 1124-1124

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 3363-3372
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))
Geography.kif 292-296
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3374-3376
(=>
    (instance ?AREA Continent)
    (meetsSpatially ?AREA WorldOcean))
Geography.kif 4264-4266

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


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