Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Continent(continent)
|  | African, Continent, Eurasia, Gondwanaland, Laurasia, Pangaea, Pangea, continent, continent-wide, continental, intercontinental, transcontinental |
| appearance as argument number 1 |
|
|
| (subclass Continent LandArea) | Merge.kif 14495-14495 | Continent is a subclass of land area |
| (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 14497-14502 | Continent is a subclass of land area |
| (externalImage Continent "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ Continental_models.gif") | pictureList.kif 2450-2450 | Continent is a subclass of land area |
| (externalImage Continent "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Continents_vide_couleurs.png") | pictureList.kif 2558-2558 | Continent is a subclass of land area |
| appearance as argument number 2 |
|
|
| (instance Europe Continent) | CountriesAndRegions.kif 43-43 | Europe is an instance of continent |
| (disjoint Nation Continent) | Geography.kif 4915-4915 | Nation is disjoint from continent |
| (instance Africa Continent) | Geography.kif 4917-4917 | Africa is an instance of continent |
| (instance NorthAmerica Continent) | Geography.kif 4930-4930 | North america is an instance of continent |
| (instance SouthAmerica Continent) | Geography.kif 4942-4942 | South america is an instance of continent |
| (instance Antarctica Continent) | Geography.kif 4954-4954 | Antarctica is an instance of continent |
| (instance Asia Continent) | Geography.kif 4965-4965 | Asia is an instance of continent |
| (instance Oceania Continent) | Geography.kif 4980-4980 | Oceania is an instance of continent |
| (termFormat EnglishLanguage Continent "continent") | english_format.kif 1123-1123 | Oceania is an instance of continent |
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?LAND1 LandArea) (exists (?LAND2) (and (part ?LAND1 ?LAND2) (or (instance ?LAND2 Continent) (instance ?LAND2 Island))))) |
Merge.kif 14473-14480 | If X is an instance of land area, then there exists Y such that X is a part of Y and Y is an instance of continent or Y is an instance of island |
| (=> (instance ?E Pandemic) (exists (?H1 ?H2 ?N1 ?N2 ?C1 ?C2) (and (involvedInEvent ?E ?H1) (involvedInEvent ?E ?H2) (not (equal ?H1 ?H2)) (instance ?N1 Nation) (instance ?N2 Nation) (not (equal ?N1 ?N2)) (instance ?C1 Continent) (instance ?C2 Continent) (not (equal ?C1 ?C2)) (holdsDuring (WhenFn ?E) (or (and (located ?H1 ?C1) (located ?H2 ?C2)) (and (located ?H1 ?N1) (located ?H2 ?N2))))))) |
Medicine.kif 3567-3591 | If X is an instance of pandemic, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an involved in event of X (3) Z is an involved in event of X (4) equal Y (5) Z (6) W is an instance of nation (7) V is an instance of nation (8) equal W (9) V (10) U is an instance of continent (11) T is an instance of continent (12) equal U (13) T (14) Y is located at U (15) Z is located at T or Y is located at W (16) Z is located at V holds during the time of existence of X |
| statement |
|
|
| (equal (CardinalityFn Continent) 7) |
Merge.kif 14496-14496 | equal the number of instances in continent and 7 |
|