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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthAmerica
SouthAmerica

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


(between SouthAmerica SaintHelena WesternAfrica) CountriesAndRegions.kif 233-233
(externalImage SouthAmerica "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ south_america.png") pictureList.kif 747-747
(geographicSubregion SouthAmerica WesternHemisphere) Geography.kif 3394-3394
(instance SouthAmerica Continent) Geography.kif 3390-3390
(overlapsSpatially SouthAmerica NorthernHemisphere) Geography.kif 3392-3392
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3393-3393

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


(geographicSubregion CentralSouthAmerica SouthAmerica) Geography.kif 171-171
(geographicSubregion EasternSouthAmerica SouthAmerica) Geography.kif 172-172
(geographicSubregion NorthernSouthAmerica SouthAmerica) Geography.kif 173-173
(geographicSubregion SouthernSouthAmerica SouthAmerica) Geography.kif 174-174
(geographicSubregion WesternSouthAmerica SouthAmerica) Geography.kif 175-175
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 17954-17954
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 28591-28591
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 17973-17973
(habitatOfOrganism Parrot SouthAmerica) Mid-level-ontology.kif 28495-28495
(habitatOfOrganism Skunk SouthAmerica) Mid-level-ontology.kif 17982-17982
(names "South America" SouthAmerica) Geography.kif 3391-3391
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278
(overlapsSpatially CaribbeanRegion SouthAmerica) Geography.kif 166-166
(overlapsSpatially MiddleAmerica SouthAmerica) Geography.kif 169-169
(termFormat ChineseLanguage SouthAmerica "南美洲") domainEnglishFormat.kif 53995-53995
(termFormat ChineseTraditionalLanguage SouthAmerica "南美洲") domainEnglishFormat.kif 53994-53994
(termFormat EnglishLanguage SouthAmerica "south america") domainEnglishFormat.kif 53993-53993

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


(=>
    (and
        (instance ?NATION Nation)
        (or
            (geographicSubregion ?NATION NorthAmerica)
            (geographicSubregion ?NATION SouthAmerica)
            (geographicSubregion ?NATION WesternEurope)))
    (holdsDuring
        (WhenFn ?NATION)
        (nationalHoliday ?NATION ChristmasDay)))
Media.kif 349-357

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 ?PLAIN Pampa)
    (located ?PLAIN SouthAmerica))
Geography.kif 6025-6027


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners