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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Continent

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 13929-13934
(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 13927-13927 subclass Continent and LandArea

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


(disjoint Nation Continent) Geography.kif 3441-3441 disjoint Nation and Continent
(instance Africa Continent) Geography.kif 3443-3443 instance Africa and Continent
(instance Antarctica Continent) Geography.kif 3459-3459 instance Antarctica and Continent
(instance Asia Continent) Geography.kif 3470-3470 instance Asia and Continent
(instance Europe Continent) CountriesAndRegions.kif 43-43 instance Europe and Continent
(instance NorthAmerica Continent) Geography.kif 3449-3449 instance NorthAmerica and Continent
(instance Oceania Continent) Geography.kif 3476-3476 instance Oceania and Continent
(instance SouthAmerica Continent) Geography.kif 3453-3453 instance SouthAmerica and Continent
(termFormat ChineseLanguage Continent "大陆") chinese_format.kif 956-956
(termFormat EnglishLanguage Continent "continent") english_format.kif 1119-1119

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 3426-3435 instance Entity and Continent equal Africa and Entity equal NorthAmerica and Entity equal SouthAmerica and Entity equal Antarctica and Entity equal Europe and Entity equal Asia and Entity equal Oceania and Entity
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))
Geography.kif 292-296
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))
Geography.kif 3437-3439
(=>
    (instance ?AREA Continent)
    (meetsSpatially ?AREA WorldOcean))
Geography.kif 4407-4409

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


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