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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Antarctica
Antarctica(antarctica)
Antarctic_continent, Antarctica

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


(claimedTerritory Antarctica Argentina) CountriesAndRegions.kif 3918-3918 Argentina is a claimed territory of antarctica
(claimedTerritory Antarctica Australia) CountriesAndRegions.kif 3919-3919 Australia is a claimed territory of antarctica
(claimedTerritory Antarctica Chile) CountriesAndRegions.kif 3920-3920 Chile is a claimed territory of antarctica
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3921-3921 France is a claimed territory of antarctica
(claimedTerritory Antarctica NewZealand) CountriesAndRegions.kif 3922-3922 New zealand is a claimed territory of antarctica
(claimedTerritory Antarctica Norway) CountriesAndRegions.kif 3923-3923 Norway is a claimed territory of antarctica
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3924-3924 United kingdom is a claimed territory of antarctica
(externalImage Antarctica "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ A/ Antarctica.png") pictureList.kif 226-226 United kingdom is a claimed territory of antarctica
(geographicSubregion Antarctica AntarcticArea) Geography.kif 3747-3747 Antarctica is a geographic subregion of antarctic area
(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3664-3664 Antarctica is a geographic subregion of southern hemisphere
(instance Antarctica Continent) Geography.kif 3662-3662 Antarctica is an instance of continent
(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4235-4235 Antarctica is an instance of geopolitical area
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3665-3665 Antarctica and eastern hemisphere overlapsSpatially
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3666-3666 Antarctica and western hemisphere overlapsSpatially

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


(names "Antarctica" Antarctica) Geography.kif 3663-3663 Antarctica has &ames$"name" "Antarctica"
(termFormat ChineseLanguage Antarctica "南极洲") domainEnglishFormat.kif 7753-7753 Antarctica has &ames$"name" "Antarctica"
(termFormat ChineseTraditionalLanguage Antarctica "南極洲") domainEnglishFormat.kif 7752-7752 Antarctica has &ames$"name" "Antarctica"
(termFormat EnglishLanguage Antarctica "antarctica") domainEnglishFormat.kif 7751-7751 Antarctica has &ames$"name" "Antarctica"

appearance as argument number 3
-------------------------


(codeMapping ISO_3166_1_alpha_2 "AQ" Antarctica) Media.kif 2845-2845 "AQ" in ISO_3166_1_alpha_2 denotes antarctica

antecedent
-------------------------


(=>
    (and
        (equal ?S SouthPole)
        (located ?S Antarctica))
    (exists (?A)
        (and
            (axis ?A PlanetEarth)
            (traverses ?A ?S))))
Geography.kif 3988-3995
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))
Geography.kif 292-296

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


(<=>
    (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 3629-3638 An entity is an instance of continent if and only if equal africa and the entity or equal north america and the entity or equal south america and the entity or equal antarctica and the entity or equal europe and the entity or equal asia and the entity or equal oceania and the entity
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))
Geography.kif 292-296