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 3923-3923 阿根廷南极洲claimed 领土
(claimedTerritory Antarctica Australia) CountriesAndRegions.kif 3924-3924 澳大利亚南极洲claimed 领土
(claimedTerritory Antarctica Chile) CountriesAndRegions.kif 3925-3925 智利南极洲claimed 领土
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3926-3926 法国南极洲claimed 领土
(claimedTerritory Antarctica NewZealand) CountriesAndRegions.kif 3927-3927 新西兰南极洲claimed 领土
(claimedTerritory Antarctica Norway) CountriesAndRegions.kif 3928-3928 挪威南极洲claimed 领土
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3929-3929 英国南极洲claimed 领土
(externalImage Antarctica "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ A/ Antarctica.png") pictureList.kif 226-226
(geographicSubregion Antarctica AntarcticArea) Geography.kif 3555-3555 南极洲南极地区geographic 次要地区
(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3472-3472 南极洲南半球geographic 次要地区
(instance Antarctica Continent) Geography.kif 3470-3470 南极洲大陆instance
(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4240-4240 南极洲地缘政治区域instance
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3473-3473 南极洲东半球 重叠
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3474-3474 南极洲西半球 重叠

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


(names "Antarctica" Antarctica) Geography.kif 3471-3471 南极洲 的名 是 "Antarctica"
(termFormat ChineseLanguage Antarctica "南极洲") domainEnglishFormat.kif 7760-7760
(termFormat ChineseTraditionalLanguage Antarctica "南極洲") domainEnglishFormat.kif 7759-7759
(termFormat EnglishLanguage Antarctica "antarctica") domainEnglishFormat.kif 7758-7758

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


(codeMapping ISO-3166-1-alpha-2 "AQ" Antarctica) Media.kif 2843-2843 "AQ" 在 ISO-3166-1-alpha-2 denotes 南极洲

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 3437-3446 实体大陆instance 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体
(=>
    (and
        (instance ?LAND Continent)
        (not
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))
Geography.kif 292-296