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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Antarctica
Antarctica

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


(claimedTerritory Antarctica Argentina) CountriesAndRegions.kif 3925-3925 claimedTerritory Antarctica and Argentina
(claimedTerritory Antarctica Australia) CountriesAndRegions.kif 3926-3926 claimedTerritory Antarctica and Australia
(claimedTerritory Antarctica Chile) CountriesAndRegions.kif 3927-3927 claimedTerritory Antarctica and Chile
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3928-3928 claimedTerritory Antarctica and France
(claimedTerritory Antarctica NewZealand) CountriesAndRegions.kif 3929-3929 claimedTerritory Antarctica and NewZealand
(claimedTerritory Antarctica Norway) CountriesAndRegions.kif 3930-3930 claimedTerritory Antarctica and Norway
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3931-3931 claimedTerritory Antarctica and UnitedKingdom
(externalImage Antarctica "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ A/ Antarctica.png") pictureList.kif 226-226
(geographicSubregion Antarctica AntarcticArea) Geography.kif 3460-3460 geographicSubregion Antarctica and AntarcticArea
(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3398-3398 geographicSubregion Antarctica and SouthernHemisphere
(instance Antarctica Continent) Geography.kif 3396-3396 instance Antarctica and Continent
(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4242-4242 instance Antarctica and GeopoliticalArea
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3399-3399 overlapsSpatially Antarctica and EasternHemisphere
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3400-3400 overlapsSpatially Antarctica and WesternHemisphere

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


(names "Antarctica" Antarctica) Geography.kif 3397-3397 names "Antarctica" and Antarctica
(termFormat ChineseLanguage Antarctica "南极洲") domainEnglishFormat.kif 7759-7759
(termFormat ChineseTraditionalLanguage Antarctica "南極洲") domainEnglishFormat.kif 7758-7758
(termFormat EnglishLanguage Antarctica "antarctica") domainEnglishFormat.kif 7757-7757

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


(codeMapping ISO-3166-1-alpha-2 "AQ" Antarctica) Media.kif 2813-2813 codeMapping ISO-3166-1-alpha-2, "AQ" and Antarctica

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


(=>
    (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 3363-3372 instance Entity and Continent equal Africa and Entity equal NorthAmerica and Entity equal SouthAmerica and Entity equal Antarctica and Entity equal Europe and Entity equal Asia and Entity equal Oceania and Entity
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))
Geography.kif 292-296