Continent(continent)![]() ![]() | ![]() | African, Continent, Eurasia, Gondwanaland, Laurasia, Pangaea, Pangea, continent, continent-wide, continental, intercontinental, transcontinental |
appearance as argument number 1 |
![]() |
(documentation Continent ChineseLanguage "按照美国中情局关于世界事实一书的定义,Continent 包括 七个地块:Africa、 NorthAmerica、SouthAmerica、 Antarctica、 Europe、 Asia 和 Oceania。注: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 14229-14234 | |
(externalImage Continent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Continents_vide_couleurs.png") | pictureList.kif 2559-2559 | |
(externalImage Continent "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ Continental_models.gif") | pictureList.kif 2451-2451 | |
(subclass Continent LandArea) | Merge.kif 14227-14227 | Continent is a subclass of land area |
appearance as argument number 2 |
![]() |
(disjoint Nation Continent) | Geography.kif 3519-3519 | Nation is disjoint from continent |
(instance Africa Continent) | Geography.kif 3521-3521 | Africa is an instance of continent |
(instance Antarctica Continent) | Geography.kif 3537-3537 | Antarctica is an instance of continent |
(instance Asia Continent) | Geography.kif 3548-3548 | Asia is an instance of continent |
(instance Europe Continent) | CountriesAndRegions.kif 43-43 | Europe is an instance of continent |
(instance NorthAmerica Continent) | Geography.kif 3527-3527 | North america is an instance of continent |
(instance Oceania Continent) | Geography.kif 3554-3554 | Oceania is an instance of continent |
(instance SouthAmerica Continent) | Geography.kif 3531-3531 | South america is an instance of continent |
(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 166-166 | |
(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 |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (CardinalityFn Continent) 7) |
Merge.kif 14228-14228 | The number of instances in continent is equal to 7 |
![]() |
![]() |