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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Africa
Africa(非洲)

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


(externalImage Africa "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ africa.png") pictureList.kif 210-210
(geographicSubregion Africa EasternHemisphere) Geography.kif 3458-3458 非洲东半球geographic 次要地区
(instance Africa Continent) Geography.kif 3454-3454 非洲大陆instance
(orientation Africa NorthAmerica Southeast) Geography.kif 282-282 非洲北美东南
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 非洲南美洲东北
(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3456-3456 非洲北半球 重叠
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3457-3457 非洲南半球 重叠

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


(geographicSubregion CentralAfrica Africa) Geography.kif 139-139 中非非洲geographic 次要地区
(geographicSubregion EasternAfrica Africa) Geography.kif 140-140 东非非洲geographic 次要地区
(geographicSubregion NorthernAfrica Africa) Geography.kif 141-141 北非非洲geographic 次要地区
(geographicSubregion SouthernAfrica Africa) Geography.kif 142-142 非洲南部非洲geographic 次要地区
(geographicSubregion WesternAfrica Africa) Geography.kif 143-143 西非非洲geographic 次要地区
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 20055-20055 Badger inhabits 非洲
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 30485-30485 Cheetah inhabits 非洲
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 30463-30463 Crocodile inhabits 非洲
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 30287-30287 Lion inhabits 非洲
(habitatOfOrganism Parrot Africa) Mid-level-ontology.kif 30367-30367 Parrot inhabits 非洲
(habitatOfOrganism Rhinoceros Africa) Mid-level-ontology.kif 30350-30350 Rhinoceros inhabits 非洲
(names "Africa" Africa) Geography.kif 3455-3455 非洲 的名 是 "Africa"
(orientation Europe Africa North) Geography.kif 275-275 欧洲非洲
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 中东地区非洲东北
(part Morocco Africa) CountriesAndRegions.kif 126-126 摩洛哥非洲part
(termFormat ChineseLanguage Africa "非洲") domainEnglishFormat.kif 5732-5732
(termFormat ChineseTraditionalLanguage Africa "非洲") domainEnglishFormat.kif 5731-5731
(termFormat EnglishLanguage Africa "africa") domainEnglishFormat.kif 5730-5730

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 3437-3446 实体大陆instance 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体
(=>
    (instance ?PLAIN Veldt)
    (located ?PLAIN Africa))
Geography.kif 6419-6421


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