| 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 14336-14341 | |
| (externalImage Continent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Continents_vide_couleurs.png") | pictureList.kif 2558-2558 | |
| (externalImage Continent "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ Continental_models.gif") | pictureList.kif 2450-2450 | |
| (subclass Continent LandArea) | Merge.kif 14334-14334 | 大陆 是 土地面积 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint Nation Continent) | Geography.kif 3677-3677 | 国家 和 % 2 是 disjoint |
| (instance Africa Continent) | Geography.kif 3679-3679 | 非洲 是 大陆 的 instance |
| (instance Antarctica Continent) | Geography.kif 3695-3695 | 南极洲 是 大陆 的 instance |
| (instance Asia Continent) | Geography.kif 3706-3706 | 亚洲 是 大陆 的 instance |
| (instance Europe Continent) | CountriesAndRegions.kif 43-43 | 欧洲 是 大陆 的 instance |
| (instance NorthAmerica Continent) | Geography.kif 3685-3685 | 北美 是 大陆 的 instance |
| (instance Oceania Continent) | Geography.kif 3712-3712 | 大洋洲 是 大陆 的 instance |
| (instance SouthAmerica Continent) | Geography.kif 3689-3689 | 南美洲 是 大陆 的 instance |
| (termFormat ChineseLanguage Continent "大陆") | chinese_format.kif 956-956 | 南美洲 是 大陆 的 instance |
| (termFormat EnglishLanguage Continent "continent") | english_format.kif 1119-1119 | 南美洲 是 大陆 的 instance |
| (termFormat FrenchLanguage Continent "continent") | french_format.kif 632-632 | 南美洲 是 大陆 的 instance |
| (termFormat Hindi Continent "mahaadvIpa") | terms-hindi.txt 163-163 | 南美洲 是 大陆 的 instance |
| (termFormat ItalianLanguage Continent "Continente") | terms-it.txt 166-166 | 南美洲 是 大陆 的 instance |
| (termFormat JapaneseLanguage Continent "大陸") | japanese_format.kif 2317-2317 | 南美洲 是 大陆 的 instance |
| (termFormat PortugueseLanguage Continent "Continente") | portuguese_format.kif 584-584 | 南美洲 是 大陆 的 instance |
| (termFormat cb Continent "mapugnganon") | terms-cb.txt 168-168 | 南美洲 是 大陆 的 instance |
| (termFormat cz Continent "continent") | terms-cz.txt 200-200 | 南美洲 是 大陆 的 instance |
| (termFormat de Continent "Kontinent") | terms-de.txt 459-459 | 南美洲 是 大陆 的 instance |
| (termFormat ro Continent "continent") | relations-ro.kif 653-653 | 南美洲 是 大陆 的 instance |
| (termFormat tg Continent "Kontinente") | terms-tg.txt 167-167 | 南美洲 是 大陆 的 instance |
| 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 3662-3671 | 实体 是 大陆 的 instance 若且唯若 equal 非洲 and 那个 实体 或 equal 北美 and 那个 实体 或 equal 南美洲 and 那个 实体 或 equal 南极洲 and 那个 实体 或 equal 欧洲 and 那个 实体 或 equal 亚洲 and 那个 实体 或 equal 大洋洲 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 3673-3675 | |
| (=> (instance ?AREA Continent) (meetsSpatially ?AREA WorldOcean)) |
Geography.kif 4748-4750 |
| consequent |
|
|
| statement |
|
|
| (equal (CardinalityFn Continent) 7) |
Merge.kif 14335-14335 | equal 大陆 instance 的数量 and 7 |
|
|
|