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 3923-3923 Argentina is a claimed territory of antarctica
(claimedTerritory Antarctica Australia) CountriesAndRegions.kif 3924-3924 Australia is a claimed territory of antarctica
(claimedTerritory Antarctica Chile) CountriesAndRegions.kif 3925-3925 Chile is a claimed territory of antarctica
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3926-3926 France is a claimed territory of antarctica
(claimedTerritory Antarctica NewZealand) CountriesAndRegions.kif 3927-3927 New zealand is a claimed territory of antarctica
(claimedTerritory Antarctica Norway) CountriesAndRegions.kif 3928-3928 Norway is a claimed territory of antarctica
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3929-3929 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 3610-3610 Antarctica is a geographic subregion of antarctic area
(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3527-3527 Antarctica is a geographic subregion of southern hemisphere
(instance Antarctica Continent) Geography.kif 3525-3525 Antarctica is an instance of continent
(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 Antarctica is an instance of geopolitical area
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3528-3528 Antarctica and eastern hemisphere overlapsSpatially
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3529-3529 Antarctica and western hemisphere overlapsSpatially

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


(names "Antarctica" Antarctica) Geography.kif 3526-3526 Antarctica has name "Antarctica"
(termFormat ChineseLanguage Antarctica "南极洲") domainEnglishFormat.kif 7759-7759 Antarctica has name "Antarctica"
(termFormat ChineseTraditionalLanguage Antarctica "南極洲") domainEnglishFormat.kif 7758-7758 Antarctica has name "Antarctica"
(termFormat EnglishLanguage Antarctica "antarctica") domainEnglishFormat.kif 7757-7757 Antarctica has 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 3851-3858
(=>
    (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 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