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 圣海伦娜 是在 南美洲西非 between
(externalImage SouthAmerica "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ south_america.png") pictureList.kif 747-747
(geographicSubregion SouthAmerica WesternHemisphere) Geography.kif 3457-3457 南美洲西半球geographic 次要地区
(instance SouthAmerica Continent) Geography.kif 3453-3453 南美洲大陆instance
(overlapsSpatially SouthAmerica NorthernHemisphere) Geography.kif 3455-3455 南美洲北半球 重叠
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3456-3456 南美洲南半球 重叠

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


(geographicSubregion CentralSouthAmerica SouthAmerica) Geography.kif 171-171 中南美洲南美洲geographic 次要地区
(geographicSubregion EasternSouthAmerica SouthAmerica) Geography.kif 172-172 东南美洲南美洲geographic 次要地区
(geographicSubregion NorthernSouthAmerica SouthAmerica) Geography.kif 173-173 北美洲南部南美洲geographic 次要地区
(geographicSubregion SouthernSouthAmerica SouthAmerica) Geography.kif 174-174 南美洲南部南美洲geographic 次要地区
(geographicSubregion WesternSouthAmerica SouthAmerica) Geography.kif 175-175 西南美洲南美洲geographic 次要地区
(habitatOfOrganism Bear SouthAmerica) Mid-level-ontology.kif 19636-19636 Bear inhabits 南美洲
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 29952-29952 Crocodile inhabits 南美洲
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 19655-19655 Llama inhabits 南美洲
(habitatOfOrganism Parrot SouthAmerica) Mid-level-ontology.kif 29856-29856 Parrot inhabits 南美洲
(habitatOfOrganism Skunk SouthAmerica) Mid-level-ontology.kif 19664-19664 Skunk inhabits 南美洲
(names "South America" SouthAmerica) Geography.kif 3454-3454 南美洲 的名 是 "South America"
(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 54039-54039
(termFormat ChineseTraditionalLanguage SouthAmerica "南美洲") domainEnglishFormat.kif 54038-54038
(termFormat EnglishLanguage SouthAmerica "south america") domainEnglishFormat.kif 54037-54037

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 3426-3435 实体大陆instance 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体
(=>
    (instance ?PLAIN Pampa)
    (located ?PLAIN SouthAmerica))
Geography.kif 6371-6373


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 3.0 is open source software produced by Articulate Software and its partners