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 3918-3918 claimedTerritory Antarctica and Argentina
(claimedTerritory Antarctica Australia) CountriesAndRegions.kif 3919-3919 claimedTerritory Antarctica and Australia
(claimedTerritory Antarctica Chile) CountriesAndRegions.kif 3920-3920 claimedTerritory Antarctica and Chile
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3921-3921 claimedTerritory Antarctica and France
(claimedTerritory Antarctica NewZealand) CountriesAndRegions.kif 3922-3922 claimedTerritory Antarctica and NewZealand
(claimedTerritory Antarctica Norway) CountriesAndRegions.kif 3923-3923 claimedTerritory Antarctica and Norway
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3924-3924 claimedTerritory Antarctica and UnitedKingdom
(externalImage Antarctica "http://articulatesoftware.com/SUMOpictures/geography/ Country_Maps/ A/ Antarctica.png") pictureList.kif 226-226 claimedTerritory Antarctica and UnitedKingdom
(geographicSubregion Antarctica AntarcticArea) Geography.kif 3780-3780 geographicSubregion Antarctica and AntarcticArea
(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3697-3697 geographicSubregion Antarctica and SouthernHemisphere
(instance Antarctica Continent) Geography.kif 3695-3695 Antarctica は 大陸 の instance では
(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4235-4235 Antarctica は 地政学的地域 の instance では
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3698-3698 overlapsSpatially Antarctica and EasternHemisphere
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3699-3699 overlapsSpatially Antarctica and WesternHemisphere

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


(names "Antarctica" Antarctica) Geography.kif 3696-3696 Antarctica は "Antarctica" の &ames$"name" を 持って
(termFormat ChineseLanguage Antarctica "南极洲") domainEnglishFormat.kif 7753-7753 Antarctica は "Antarctica" の &ames$"name" を 持って
(termFormat ChineseTraditionalLanguage Antarctica "南極洲") domainEnglishFormat.kif 7752-7752 Antarctica は "Antarctica" の &ames$"name" を 持って
(termFormat EnglishLanguage Antarctica "antarctica") domainEnglishFormat.kif 7751-7751 Antarctica は "Antarctica" の &ames$"name" を 持って

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


(codeMapping ISO_3166_1_alpha_2 "AQ" Antarctica) Media.kif 2845-2845 codeMapping ISO_3166_1_alpha_2, "AQ" and Antarctica

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


(=>
    (and
        (equal ?S SouthPole)
        (located ?S Antarctica))
    (exists (?A)
        (and
            (axis ?A PlanetEarth)
            (traverses ?A ?S))))		 Geography.kif 4021-4028
(=>
    (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 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