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://articulatesoftware.com/SUMOpictures/ geography/ continents/ south_america.png") pictureList.kif 747-747 圣海伦娜 是在 南美洲西非 between
(geographicSubregion SouthAmerica WesternHemisphere) Geography.kif 3523-3523 南美洲西半球geographic 次要地区
(instance SouthAmerica Continent) Geography.kif 3519-3519 南美洲大陆instance
(overlapsSpatially SouthAmerica NorthernHemisphere) Geography.kif 3521-3521 南美洲北半球 重叠
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3522-3522 南美洲南半球 重叠

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 21922-21922 Bear inhabits 南美洲
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 32486-32486 Crocodile inhabits 南美洲
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 21941-21941 Llama inhabits 南美洲
(habitatOfOrganism Parrot SouthAmerica) Mid-level-ontology.kif 32390-32390 Parrot inhabits 南美洲
(habitatOfOrganism Skunk SouthAmerica) Mid-level-ontology.kif 21950-21950 Skunk inhabits 南美洲
(names "South America" SouthAmerica) Geography.kif 3520-3520 南美洲 的名 是 "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 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 3492-3501 实体大陆instance 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体
(=>
    (instance ?PLAIN Pampa)
    (located ?PLAIN SouthAmerica))
Geography.kif 6753-6755


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