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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthAmerica

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 3381-3381
(instance SouthAmerica Continent) Geography.kif 3377-3377
(overlapsSpatially SouthAmerica NorthernHemisphere) Geography.kif 3379-3379
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3380-3380

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 17991-17991
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 28606-28606
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 18010-18010
(habitatOfOrganism Parrot SouthAmerica) Mid-level-ontology.kif 28510-28510
(habitatOfOrganism Skunk SouthAmerica) Mid-level-ontology.kif 18019-18019
(names "South America" SouthAmerica) Geography.kif 3378-3378
(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 EnglishLanguage SouthAmerica "south america") domainEnglishFormat.kif 9433-9433

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 3350-3359
(=>
    (instance ?PLAIN Pampa)
    (located ?PLAIN SouthAmerica))
Geography.kif 6010-6012


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

Show without tree


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