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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Continent
Continent(大陸)

appearance as argument number 1
-------------------------


(documentation Continent ChineseLanguage "按照美国中情局关于世界事实一书的定义,Continent 包括 七个地块:AfricaNorthAmericaSouthAmericaAntarcticaEuropeAsiaOceania。注: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 国民大陸disjoint では
(instance Africa Continent) Geography.kif 3679-3679 Africa大陸instance では
(instance Antarctica Continent) Geography.kif 3695-3695 Antarctica大陸instance では
(instance Asia Continent) Geography.kif 3706-3706 Asia大陸instance では
(instance Europe Continent) CountriesAndRegions.kif 43-43 Europe大陸instance では
(instance NorthAmerica Continent) Geography.kif 3685-3685 NorthAmerica大陸instance では
(instance Oceania Continent) Geography.kif 3712-3712 Oceania大陸instance では
(instance SouthAmerica Continent) Geography.kif 3689-3689 SouthAmerica大陸instance では
(termFormat ChineseLanguage Continent "大陆") chinese_format.kif 956-956 SouthAmerica大陸instance では
(termFormat EnglishLanguage Continent "continent") english_format.kif 1119-1119 SouthAmerica大陸instance では
(termFormat FrenchLanguage Continent "continent") french_format.kif 632-632 SouthAmerica大陸instance では
(termFormat Hindi Continent "mahaadvIpa") terms-hindi.txt 163-163 SouthAmerica大陸instance では
(termFormat ItalianLanguage Continent "Continente") terms-it.txt 166-166 SouthAmerica大陸instance では
(termFormat JapaneseLanguage Continent "大陸") japanese_format.kif 2317-2317 SouthAmerica大陸instance では
(termFormat PortugueseLanguage Continent "Continente") portuguese_format.kif 584-584 SouthAmerica大陸instance では
(termFormat cb Continent "mapugnganon") terms-cb.txt 168-168 SouthAmerica大陸instance では
(termFormat cz Continent "continent") terms-cz.txt 200-200 SouthAmerica大陸instance では
(termFormat de Continent "Kontinent") terms-de.txt 459-459 SouthAmerica大陸instance では
(termFormat ro Continent "continent") relations-ro.kif 653-653 SouthAmerica大陸instance では
(termFormat tg Continent "Kontinente") terms-tg.txt 167-167 SouthAmerica大陸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 Africa and エンティティー equal NorthAmerica and エンティティー equal SouthAmerica and エンティティー equal Antarctica and エンティティー equal Europe and エンティティー equal Asia and エンティティー equal Oceania 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
-------------------------


(=>
    (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 3538-3562
(=>
    (instance ?LAND1 LandArea)
    (exists (?LAND2)
        (and
            (part ?LAND1 ?LAND2)
            (or
                (instance ?LAND2 Continent)
                (instance ?LAND2 Island)))))
Merge.kif 14312-14319