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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Asia

Sigma KEE - Asia
Asia

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


(externalImage Asia "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ continents/ asia.png") pictureList.kif 241-241
(geographicSubregion Asia EasternHemisphere) Geography.kif 3398-3398
(instance Asia Continent) Geography.kif 3394-3394
(orientation Asia Oceania Northwest) Geography.kif 281-281
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3396-3396
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3397-3397

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


(geographicSubregion CentralAsia Asia) Geography.kif 177-177
(geographicSubregion EasternAsia Asia) Geography.kif 178-178
(geographicSubregion NorthernAsia Asia) Geography.kif 179-179
(geographicSubregion SoutheasternAsia Asia) Geography.kif 183-183
(geographicSubregion SouthernAsia Asia) Geography.kif 182-182
(geographicSubregion SouthwesternAsia Asia) Geography.kif 184-184
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 17975-17975
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 17990-17990
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 28625-28625
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 28602-28602
(habitatOfOrganism Parrot Asia) Mid-level-ontology.kif 28507-28507
(habitatOfOrganism Reindeer Asia) Mid-level-ontology.kif 28584-28584
(habitatOfOrganism Rhinoceros Asia) Mid-level-ontology.kif 28490-28490
(habitatOfOrganism Tiger Asia) Mid-level-ontology.kif 28470-28470
(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45
(names "Asia" Asia) Geography.kif 3395-3395
(orientation Europe Asia West) Geography.kif 276-276
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285
(orientation NorthAmerica Asia East) Geography.kif 279-279
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820
(termFormat EnglishLanguage Asia "asia") domainEnglishFormat.kif 1877-1877

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 Steppe)
    (or
        (located ?PLAIN Europe)
        (located ?PLAIN Asia)))
Geography.kif 6033-6037


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