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


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1En2Re3Re4En5Ra6Ra7InFn

 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
(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 Antarctica is an instance of geopolitical area
(instance Antarctica Continent) Geography.kif 4954-4954 Antarctica is an instance of continent
(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 4956-4956 Antarctica is a geographic subregion of southern hemisphere
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 4957-4957 Antarctica and eastern hemisphere overlapsSpatially
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 4958-4958 Antarctica and western hemisphere overlapsSpatially
(geographicSubregion Antarctica AntarcticArea) Geography.kif 5050-5050 Antarctica is a geographic subregion of antarctic area
(externalImage Antarctica "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ A/ Antarctica.png") pictureList.kif 226-226 Antarctica is a geographic subregion of antarctic area

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


(names "Antarctica" Antarctica) Geography.kif 4955-4955 Antarctica has name "Antarctica"
(geographicSubregion SouthPole Antarctica) Geography.kif 5302-5302 South Pole is a geographic subregion of antarctica
(termFormat EnglishLanguage Antarctica "antarctica") domainEnglishFormat.kif 7750-7750 South Pole is a geographic subregion of antarctica
(termFormat ChineseTraditionalLanguage Antarctica "南極洲") domainEnglishFormat.kif 7751-7751 South Pole is a geographic subregion of antarctica
(termFormat ChineseLanguage Antarctica "南极洲") domainEnglishFormat.kif 7752-7752 South Pole is a geographic subregion of antarctica

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


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

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


(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))		 Geography.kif 292-296 If X is an instance of continent and equal X and antarctica, then antarctica is south of to X

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


(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))		 Geography.kif 292-296 If X is an instance of continent and equal X and antarctica, then antarctica is south of to X
(<=>
    (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 4900-4909 All of the following hold: (1) X is an instance of continent if (2) only if equal africa (3) X or equal north america (4) X or equal south america (5) X or equal antarctica (6) X or equal europe (7) X or equal asia (8) X or equal oceania (9) X