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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Asia
Asia(asia)
Asia, asia, oriental, 亚洲, 亞洲

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


(externalImage Asia "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ continents/ asia.png") pictureList.kif 241-241 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ continents/ asia.png" is a URL depicting asia
(geographicSubregion Asia EasternHemisphere) Geography.kif 3411-3411 Asia is a geographic subregion of eastern hemisphere
(instance Asia Continent) Geography.kif 3407-3407 Asia is an instance of continent
(orientation Asia Oceania Northwest) Geography.kif 281-281 Asia is northwest to oceania
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3409-3409 overlaps spatially asia and northern hemisphere
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3410-3410 overlaps spatially asia and southern hemisphere

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


(geographicSubregion CentralAsia Asia) Geography.kif 177-177 Central asia is a geographic subregion of asia
(geographicSubregion EasternAsia Asia) Geography.kif 178-178 Eastern asia is a geographic subregion of asia
(geographicSubregion NorthernAsia Asia) Geography.kif 179-179 Northern asia is a geographic subregion of asia
(geographicSubregion SoutheasternAsia Asia) Geography.kif 183-183 Southeastern asia is a geographic subregion of asia
(geographicSubregion SouthernAsia Asia) Geography.kif 182-182 Southern asia is a geographic subregion of asia
(geographicSubregion SouthwesternAsia Asia) Geography.kif 184-184 Southwestern asia is a geographic subregion of asia
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 18034-18034 Badger inhabits asia
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 18049-18049 Bear inhabits asia
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 28702-28702 Cheetah inhabits asia
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 28679-28679 Crocodile inhabits asia
(habitatOfOrganism Parrot Asia) Mid-level-ontology.kif 28584-28584 Parrot inhabits asia
(habitatOfOrganism Reindeer Asia) Mid-level-ontology.kif 28661-28661 Reindeer inhabits asia
(habitatOfOrganism Rhinoceros Asia) Mid-level-ontology.kif 28567-28567 Rhinoceros inhabits asia
(habitatOfOrganism Tiger Asia) Mid-level-ontology.kif 28547-28547 Tiger inhabits asia
(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45 Europe meets asia
(names "Asia" Asia) Geography.kif 3408-3408 Asia has name "Asia"
(orientation Europe Asia West) Geography.kif 276-276 Europe is west to asia
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 Middle east region is southwest to asia
(orientation NorthAmerica Asia East) Geography.kif 279-279 North america is east to asia
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146 overlaps spatially middle east region and asia
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 Korean peninsula is a part of asia
(termFormat ChineseLanguage Asia "亚洲") domainEnglishFormat.kif 8665-8665 "亚洲" is the printable form of asia in ChineseLanguage
(termFormat ChineseTraditionalLanguage Asia "亞洲") domainEnglishFormat.kif 8664-8664 "亞洲" is the printable form of asia in ChineseTraditionalLanguage
(termFormat EnglishLanguage Asia "asia") domainEnglishFormat.kif 8663-8663 "asia" is the printable form of asia in english language

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 3363-3372 An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity
(=>
    (instance ?PLAIN Steppe)
    (or
        (located ?PLAIN Europe)
        (located ?PLAIN Asia)))
Geography.kif 6048-6052


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners