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, antarctica

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


(claimedTerritory Antarctica Argentina) CountriesAndRegions.kif 3924-3924 Argentina is a claimed territory of antarctica
(claimedTerritory Antarctica Australia) CountriesAndRegions.kif 3925-3925 Australia is a claimed territory of antarctica
(claimedTerritory Antarctica Chile) CountriesAndRegions.kif 3926-3926 Chile is a claimed territory of antarctica
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3927-3927 France is a claimed territory of antarctica
(claimedTerritory Antarctica NewZealand) CountriesAndRegions.kif 3928-3928 New zealand is a claimed territory of antarctica
(claimedTerritory Antarctica Norway) CountriesAndRegions.kif 3929-3929 Norway is a claimed territory of antarctica
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3930-3930 United kingdom is a claimed territory of antarctica
(externalImage Antarctica "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ A/ Antarctica.png") pictureList.kif 226-226 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ Country_Maps/ A/ Antarctica.png" is a URL depicting antarctica
(geographicSubregion Antarctica AntarcticArea) Geography.kif 3447-3447 Antarctica is a geographic subregion of antarctic area
(geographicSubregion Antarctica SouthernHemisphere) Geography.kif 3385-3385 Antarctica is a geographic subregion of southern hemisphere
(instance Antarctica Continent) Geography.kif 3383-3383 Antarctica is an instance of continent
(instance Antarctica GeopoliticalArea) CountriesAndRegions.kif 4241-4241 Antarctica is an instance of geopolitical area
(overlapsSpatially Antarctica EasternHemisphere) Geography.kif 3386-3386 Antarctica overlaps with eastern hemisphere
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3387-3387 Antarctica overlaps with western hemisphere

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


(names "Antarctica" Antarctica) Geography.kif 3384-3384 Antarctica has name "Antarctica"
(termFormat EnglishLanguage Antarctica "antarctica") domainEnglishFormat.kif 1726-1726 "antarctica" is the printable form of antarctica in english language

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


(codeMapping ISO-3166-1-alpha-2 "AQ" Antarctica) Media.kif 2813-2813 "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

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 3350-3359 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