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



KB Term:  Term intersection
English Word: 

  Hypoxia

Sigma KEE - SouthAmerica
SouthAmerica(south america)
South_America

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


(between SouthAmerica SaintHelena WesternAfrica) CountriesAndRegions.kif 233-233 Saint helena is between south america and western africa
(instance SouthAmerica Continent) Geography.kif 4942-4942 South america is an instance of continent
(overlapsSpatially SouthAmerica NorthernHemisphere) Geography.kif 4944-4944 South america and northern hemisphere overlapsSpatially
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 4945-4945 South america and southern hemisphere overlapsSpatially
(geographicSubregion SouthAmerica WesternHemisphere) Geography.kif 4946-4946 South america is a geographic subregion of western hemisphere
(externalImage SouthAmerica "http://articulatesoftware.com/SUMOpictures/ geography/ continents/ south_america.png") pictureList.kif 747-747 South america is a geographic subregion of western hemisphere

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


(overlapsSpatially CaribbeanRegion SouthAmerica) Geography.kif 166-166 Caribbean region and south america overlapsSpatially
(overlapsSpatially MiddleAmerica SouthAmerica) Geography.kif 169-169 Middle america and south america overlapsSpatially
(geographicSubregion CentralSouthAmerica SouthAmerica) Geography.kif 171-171 Central south america is a geographic subregion of south america
(geographicSubregion EasternSouthAmerica SouthAmerica) Geography.kif 172-172 Eastern south america is a geographic subregion of south america
(geographicSubregion NorthernSouthAmerica SouthAmerica) Geography.kif 173-173 Northern south america is a geographic subregion of south america
(geographicSubregion SouthernSouthAmerica SouthAmerica) Geography.kif 174-174 Southern south america is a geographic subregion of south america
(geographicSubregion WesternSouthAmerica SouthAmerica) Geography.kif 175-175 Western south america is a geographic subregion of south america
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 North america is north of to south america
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 Africa is northeast of to south america
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 Europe is northeast of to south america
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 Middle america is north of to south america
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 Caribbean region is north of to south america
(geographicSubregion AndesMountains SouthAmerica) Geography.kif 1423-1423 Andes Mountains is a geographic subregion of south america
(names "South America" SouthAmerica) Geography.kif 4943-4943 South america has name "South America"
(habitatOfOrganism Bear SouthAmerica) Geography.kif 4948-4948 Bear inhabits south america
(habitatOfOrganism Llama SouthAmerica) Geography.kif 4949-4949 Llama inhabits south america
(habitatOfOrganism Skunk SouthAmerica) Geography.kif 4950-4950 Skunk inhabits south america
(habitatOfOrganism Parrot SouthAmerica) Geography.kif 4951-4951 Parrot inhabits south america
(habitatOfOrganism Crocodile SouthAmerica) Geography.kif 4952-4952 Crocodile inhabits south america
(termFormat EnglishLanguage SouthAmerica "south america") domainEnglishFormat.kif 54055-54055 Crocodile inhabits south america
(termFormat ChineseTraditionalLanguage SouthAmerica "南美洲") domainEnglishFormat.kif 54056-54056 Crocodile inhabits south america
(termFormat ChineseLanguage SouthAmerica "南美洲") domainEnglishFormat.kif 54057-54057 Crocodile inhabits south america

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


(=>
    (and
        (instance ?NATION Nation)
        (or
            (geographicSubregion ?NATION NorthAmerica)
            (geographicSubregion ?NATION SouthAmerica)
            (geographicSubregion ?NATION WesternEurope)))
    (holdsDuring
        (WhenFn ?NATION)
        (nationalHoliday ?NATION ChristmasDay)))
Media.kif 343-351 If X is an instance of nation and At least one of the following holds: (1) X is a geographic subregion of north america (2) X is a geographic subregion of south america (3) X is a geographic subregion of western europe, then Christmas day is a national holiday of X holds during the time of existence of X

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 4900-4909 All of the following hold: (1) X is an instance of continent if (2) only if equal africa (3) X or equal north america (4) X or equal south america (5) X or equal antarctica (6) X or equal europe (7) X or equal asia (8) X or equal oceania (9) X
(=>
    (instance ?PLAIN Pampa)
    (located ?PLAIN SouthAmerica))
Geography.kif 8347-8349 If X is an instance of pampa, then X is located at south america