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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Africa

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 3371-3371
(instance Africa Continent) Geography.kif 3367-3367
(orientation Africa NorthAmerica Southeast) Geography.kif 282-282
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280
(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3369-3369
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3370-3370

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


(geographicSubregion CentralAfrica Africa) Geography.kif 139-139
(geographicSubregion EasternAfrica Africa) Geography.kif 140-140
(geographicSubregion NorthernAfrica Africa) Geography.kif 141-141
(geographicSubregion SouthernAfrica Africa) Geography.kif 142-142
(geographicSubregion WesternAfrica Africa) Geography.kif 143-143
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 17976-17976
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 28626-28626
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 28604-28604
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 28428-28428
(habitatOfOrganism Parrot Africa) Mid-level-ontology.kif 28508-28508
(habitatOfOrganism Rhinoceros Africa) Mid-level-ontology.kif 28491-28491
(names "Africa" Africa) Geography.kif 3368-3368
(orientation Europe Africa North) Geography.kif 275-275
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286
(part Morocco Africa) CountriesAndRegions.kif 126-126
(termFormat EnglishLanguage Africa "africa") domainEnglishFormat.kif 1388-1388

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 3350-3359
(=>
    (instance ?PLAIN Veldt)
    (located ?PLAIN Africa))
Geography.kif 6045-6047


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners