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
(geographicSubregion SouthAmerica WesternHemisphere) Geography.kif 3535-3535 南美洲西半球geographic 次要地区
(instance SouthAmerica Continent) Geography.kif 3531-3531 南美洲大陆instance
(overlapsSpatially SouthAmerica NorthernHemisphere) Geography.kif 3533-3533 南美洲北半球 重叠
(overlapsSpatially SouthAmerica SouthernHemisphere) Geography.kif 3534-3534 南美洲南半球 重叠

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 20305-20305 Bear inhabits 南美洲
(habitatOfOrganism Crocodile SouthAmerica) Mid-level-ontology.kif 30550-30550 Crocodile inhabits 南美洲
(habitatOfOrganism Llama SouthAmerica) Mid-level-ontology.kif 20324-20324 Llama inhabits 南美洲
(habitatOfOrganism Parrot SouthAmerica) Mid-level-ontology.kif 30454-30454 Parrot inhabits 南美洲
(habitatOfOrganism Skunk SouthAmerica) Mid-level-ontology.kif 20333-20333 Skunk inhabits 南美洲
(names "South America" SouthAmerica) Geography.kif 3532-3532 南美洲 的名 是 "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 54060-54060
(termFormat ChineseTraditionalLanguage SouthAmerica "南美洲") domainEnglishFormat.kif 54059-54059
(termFormat EnglishLanguage SouthAmerica "south america") domainEnglishFormat.kif 54058-54058

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


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