Continent![]() ![]() | ![]() |
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 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 |
appearance as argument number 2 |
![]() |
(disjoint Nation Continent) | Geography.kif 3441-3441 | |
(instance Africa Continent) | Geography.kif 3443-3443 | |
(instance Antarctica Continent) | Geography.kif 3459-3459 | |
(instance Asia Continent) | Geography.kif 3470-3470 | |
(instance Europe Continent) | CountriesAndRegions.kif 43-43 | |
(instance NorthAmerica Continent) | Geography.kif 3449-3449 | |
(instance Oceania Continent) | Geography.kif 3476-3476 | |
(instance SouthAmerica Continent) | Geography.kif 3453-3453 | |
(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 | |
(=> (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 |
statement |
![]() |
(equal (CardinalityFn Continent) 7) |
Merge.kif 13928-13928 |
![]() |
![]() |