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 14209-14212
(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 14203-14208
(externalImage Continent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Continents_vide_couleurs.png") pictureList.kif 2560-2560 externalImage 大陸 and "http://upload.wikimedia.org/wikipedia/commons/1/19/ Continents_vide_couleurs.png"
(externalImage Continent "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ Continental_models.gif") pictureList.kif 2452-2452 externalImage 大陸 and "http://upload.wikimedia.org/wikipedia/commons/7/77/ Continental_models.gif"
(subclass Continent LandArea) Merge.kif 14201-14201 subclass 大陸 and 土地面積

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


(disjoint Nation Continent) Geography.kif 3365-3365 disjoint 国民 and 大陸
(instance Africa Continent) Geography.kif 3367-3367 instance Africa and 大陸
(instance Antarctica Continent) Geography.kif 3383-3383 instance Antarctica and 大陸
(instance Asia Continent) Geography.kif 3394-3394 instance Asia and 大陸
(instance Europe Continent) CountriesAndRegions.kif 43-43 instance Europe and 大陸
(instance NorthAmerica Continent) Geography.kif 3373-3373 instance NorthAmerica and 大陸
(instance Oceania Continent) Geography.kif 3400-3400 instance Oceania and 大陸
(instance SouthAmerica Continent) Geography.kif 3377-3377 instance SouthAmerica and 大陸
(termFormat ChineseLanguage Continent "大陆") chinese_format.kif 956-956 termFormat ChineseLanguage, 大陸 and "大陆"
(termFormat EnglishLanguage Continent "continent") english_format.kif 934-934 termFormat EnglishLanguage, 大陸 and "continent"
(termFormat JapaneseLanguage Continent "大陸") english_format.kif 935-935 termFormat JapaneseLanguage, 大陸 and "大陸"

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 instance エンティティー and 大陸 equal Africa and エンティティー equal NorthAmerica and エンティティー equal SouthAmerica and エンティティー equal Antarctica and エンティティー equal Europe and エンティティー equal Asia and エンティティー equal Oceania and エンティティー
(=>
    (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 4251-4253

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


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