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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Continent
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 14257-14262
(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 14255-14255 Continent is a subclass of land area

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


(disjoint Nation Continent) Geography.kif 3507-3507 Nation is disjoint from continent
(instance Africa Continent) Geography.kif 3509-3509 Africa is an instance of continent
(instance Antarctica Continent) Geography.kif 3525-3525 Antarctica is an instance of continent
(instance Asia Continent) Geography.kif 3536-3536 Asia is an instance of continent
(instance Europe Continent) CountriesAndRegions.kif 43-43 Europe is an instance of continent
(instance NorthAmerica Continent) Geography.kif 3515-3515 North america is an instance of continent
(instance Oceania Continent) Geography.kif 3542-3542 Oceania is an instance of continent
(instance SouthAmerica Continent) Geography.kif 3519-3519 South america is an instance of continent
(termFormat ChineseLanguage Continent "大陆") chinese_format.kif 956-956 South america is an instance of continent
(termFormat EnglishLanguage Continent "continent") english_format.kif 1119-1119 South america is an instance of continent
(termFormat FrenchLanguage Continent "continent") french_format.kif 632-632 South america is an instance of continent
(termFormat Hindi Continent "mahaadvIpa") terms-hindi.txt 163-163 South america is an instance of continent
(termFormat ItalianLanguage Continent "Continente") terms-it.txt 166-166 South america is an instance of continent
(termFormat JapaneseLanguage Continent "大陸") japanese_format.kif 2317-2317 South america is an instance of continent
(termFormat PortugueseLanguage Continent "Continente") portuguese_format.kif 584-584 South america is an instance of continent
(termFormat cb Continent "mapugnganon") terms-cb.txt 168-168 South america is an instance of continent
(termFormat cz Continent "continent") terms-cz.txt 200-200 South america is an instance of continent
(termFormat de Continent "Kontinent") terms-de.txt 459-459 South america is an instance of continent
(termFormat ro Continent "continent") relations-ro.kif 653-653 South america is an instance of continent
(termFormat tg Continent "Kontinente") terms-tg.txt 167-167 South america is an instance of continent

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 3492-3501 An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the 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 3503-3505
(=>
    (instance ?AREA Continent)
    (meetsSpatially ?AREA WorldOcean))		 Geography.kif 4577-4579

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


(=>
    (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 3525-3549
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))		 Merge.kif 14233-14240