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 14074-14079
(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 14072-14072

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


(disjoint Nation Continent) Geography.kif 3445-3445
(instance Africa Continent) Geography.kif 3447-3447
(instance Antarctica Continent) Geography.kif 3463-3463
(instance Asia Continent) Geography.kif 3474-3474
(instance Europe Continent) CountriesAndRegions.kif 43-43
(instance NorthAmerica Continent) Geography.kif 3453-3453
(instance Oceania Continent) Geography.kif 3480-3480
(instance SouthAmerica Continent) Geography.kif 3457-3457
(termFormat ChineseLanguage Continent "大陆") chinese_format.kif 956-956
(termFormat EnglishLanguage Continent "continent") english_format.kif 1119-1119
(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 JapaneseLanguage Continent "大陸") japanese_format.kif 2317-2317
(termFormat PortugueseLanguage Continent "Continente") portuguese_format.kif 584-584
(termFormat cb Continent "mapugnganon") terms-cb.txt 168-168
(termFormat cz Continent "continent") terms-cz.txt 200-200
(termFormat ro Continent "continent") relations-ro.kif 653-653
(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 3430-3439
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))
Geography.kif 292-296
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3441-3443
(=>
    (instance ?AREA Continent)
    (meetsSpatially ?AREA WorldOcean))
Geography.kif 4411-4413

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


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