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 SaintHelena は SouthAmerica と WesternAfrica の between では
(externalImage SouthAmerica "http://articulatesoftware.com/SUMOpictures/ geography/ continents/ south_america.png") pictureList.kif 747-747 SaintHelena は SouthAmerica と WesternAfrica の between では
(geographicSubregion SouthAmerica WesternHemisphere) Geography.kif 3693-3693 geographicSubregion SouthAmerica and WesternHemisphere
(instance SouthAmerica Continent) Geography.kif 3689-3689 SouthAmerica は 大陸 の instance では
(overlapsSpatially SouthAmerica NorthernHemisphere) Geography.kif 3691-3691 overlapsSpatially SouthAmerica and NorthernHemisphere
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3692-3692 overlapsSpatially SouthAmerica and SouthernHemisphere

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


(geographicSubregion AndesMountains SouthAmerica) Geography.kif 386-386 geographicSubregion AndesMountains and SouthAmerica
(geographicSubregion CentralSouthAmerica SouthAmerica) Geography.kif 171-171 geographicSubregion CentralSouthAmerica and SouthAmerica
(geographicSubregion EasternSouthAmerica SouthAmerica) Geography.kif 172-172 geographicSubregion EasternSouthAmerica and SouthAmerica
(geographicSubregion NorthernSouthAmerica SouthAmerica) Geography.kif 173-173 geographicSubregion NorthernSouthAmerica and SouthAmerica
(geographicSubregion SouthernSouthAmerica SouthAmerica) Geography.kif 174-174 geographicSubregion SouthernSouthAmerica and SouthAmerica
(geographicSubregion WesternSouthAmerica SouthAmerica) Geography.kif 175-175 geographicSubregion WesternSouthAmerica and SouthAmerica
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 21922-21922 habitatOfOrganism Bear and SouthAmerica
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 32484-32484 habitatOfOrganism Crocodile and SouthAmerica
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 21941-21941 habitatOfOrganism Llama and SouthAmerica
(habitatOfOrganism Parrot SouthAmerica) Mid-level-ontology.kif 32388-32388 habitatOfOrganism Parrot and SouthAmerica
(habitatOfOrganism Skunk SouthAmerica) Mid-level-ontology.kif 21950-21950 habitatOfOrganism Skunk and SouthAmerica
(names "South America" SouthAmerica) Geography.kif 3690-3690 SouthAmerica は "South America" の &ames$"name" を 持って
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 Africa は Northeast 対 SouthAmerica では
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 CaribbeanRegion は North 対 SouthAmerica では
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 Europe は Northeast 対 SouthAmerica では
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 MiddleAmerica は North 対 SouthAmerica では
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 NorthAmerica は North 対 SouthAmerica では
(overlapsSpatially CaribbeanRegion SouthAmerica) Geography.kif 166-166 overlapsSpatially CaribbeanRegion and SouthAmerica
(overlapsSpatially MiddleAmerica SouthAmerica) Geography.kif 169-169 overlapsSpatially MiddleAmerica and SouthAmerica
(termFormat ChineseLanguage SouthAmerica "南美洲") domainEnglishFormat.kif 54064-54064 overlapsSpatially MiddleAmerica and SouthAmerica
(termFormat ChineseTraditionalLanguage SouthAmerica "南美洲") domainEnglishFormat.kif 54063-54063 overlapsSpatially MiddleAmerica and SouthAmerica
(termFormat EnglishLanguage SouthAmerica "south america") domainEnglishFormat.kif 54062-54062 overlapsSpatially MiddleAmerica and SouthAmerica

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 では equal Africa and エンティティー equal NorthAmerica and エンティティー equal SouthAmerica and エンティティー equal Antarctica and エンティティー equal Europe and エンティティー equal Asia and エンティティー equal Oceania and エンティティー
(=>
    (instance ?PLAIN Pampa)
    (located ?PLAIN SouthAmerica))		 Geography.kif 7020-7022