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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Continent

 Sigma KEE - Continent
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 14183-14188
(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 14181-14181 大陸 は 土地面積 の subclass では %n

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


(disjoint Nation Continent) Geography.kif 3519-3519 国民 と 大陸 は disjoint では %n
(instance Africa Continent) Geography.kif 3521-3521 Africa は 大陸 の instance では %n
(instance Antarctica Continent) Geography.kif 3537-3537 Antarctica は 大陸 の instance では %n
(instance Asia Continent) Geography.kif 3548-3548 Asia は 大陸 の instance では %n
(instance Europe Continent) CountriesAndRegions.kif 43-43 Europe は 大陸 の instance では %n
(instance NorthAmerica Continent) Geography.kif 3527-3527 NorthAmerica は 大陸 の instance では %n
(instance Oceania Continent) Geography.kif 3554-3554 Oceania は 大陸 の instance では %n
(instance SouthAmerica Continent) Geography.kif 3531-3531 SouthAmerica は 大陸 の instance では %n
(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
-------------------------


(<=>
    (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 3504-3513 エンティティー は 大陸 の instance では %n Africa は エンティティー と equal では %n NorthAmerica は エンティティー と equal では %n SouthAmerica は エンティティー と equal では %n Antarctica は エンティティー と equal では %n Europe は エンティティー と equal では %n Asia は エンティティー と equal では %n Oceania は エンティティー と equal では %n
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))		 Geography.kif 292-296
(=>
    (instance ?AREA Continent)
    (geographicSubregion ?AREA PlanetEarth))		 Geography.kif 3515-3517
(=>
    (instance ?AREA Continent)
    (meetsSpatially ?AREA WorldOcean))		 Geography.kif 4508-4510

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 3537-3561
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))		 Merge.kif 14159-14166