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://articulatesoftware.com/SUMOpictures/ geography/ continents/ south_america.png") pictureList.kif 747-747
(geographicSubregion SouthAmerica WesternHemisphere) Geography.kif 3693-3693
(instance SouthAmerica Continent) Geography.kif 3689-3689
(overlapsSpatially SouthAmerica NorthernHemisphere) Geography.kif 3691-3691
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3692-3692

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


(geographicSubregion AndesMountains SouthAmerica) Geography.kif 386-386
(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 21922-21922
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 32484-32484
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 21941-21941
(habitatOfOrganism Parrot SouthAmerica) Mid-level-ontology.kif 32388-32388
(habitatOfOrganism Skunk SouthAmerica) Mid-level-ontology.kif 21950-21950
(names "South America" SouthAmerica) Geography.kif 3690-3690
(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 54064-54064
(termFormat ChineseTraditionalLanguage SouthAmerica "南美洲") domainEnglishFormat.kif 54063-54063
(termFormat EnglishLanguage SouthAmerica "south america") domainEnglishFormat.kif 54062-54062

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 3662-3671
(=>
    (instance ?PLAIN Pampa)
    (located ?PLAIN SouthAmerica))		 Geography.kif 7020-7022