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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3411-3411 geographicSubregion Asia and EasternHemisphere
(instance Asia Continent) Geography.kif 3407-3407 instance Asia and Continent
(orientation Asia Oceania Northwest) Geography.kif 281-281 orientation Asia, Oceania and Northwest
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3409-3409 overlapsSpatially Asia and NorthernHemisphere
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3410-3410 overlapsSpatially Asia and SouthernHemisphere

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


(geographicSubregion CentralAsia Asia) Geography.kif 177-177 geographicSubregion CentralAsia and Asia
(geographicSubregion EasternAsia Asia) Geography.kif 178-178 geographicSubregion EasternAsia and Asia
(geographicSubregion NorthernAsia Asia) Geography.kif 179-179 geographicSubregion NorthernAsia and Asia
(geographicSubregion SoutheasternAsia Asia) Geography.kif 183-183 geographicSubregion SoutheasternAsia and Asia
(geographicSubregion SouthernAsia Asia) Geography.kif 182-182 geographicSubregion SouthernAsia and Asia
(geographicSubregion SouthwesternAsia Asia) Geography.kif 184-184 geographicSubregion SouthwesternAsia and Asia
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 18060-18060 habitatOfOrganism Badger and Asia
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 18075-18075 habitatOfOrganism Bear and Asia
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 28738-28738 habitatOfOrganism Cheetah and Asia
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 28715-28715 habitatOfOrganism Crocodile and Asia
(habitatOfOrganism Parrot Asia) Mid-level-ontology.kif 28620-28620 habitatOfOrganism Parrot and Asia
(habitatOfOrganism Reindeer Asia) Mid-level-ontology.kif 28697-28697 habitatOfOrganism Reindeer and Asia
(habitatOfOrganism Rhinoceros Asia) Mid-level-ontology.kif 28603-28603 habitatOfOrganism Rhinoceros and Asia
(habitatOfOrganism Tiger Asia) Mid-level-ontology.kif 28583-28583 habitatOfOrganism Tiger and Asia
(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45 meetsSpatially Europe and Asia
(names "Asia" Asia) Geography.kif 3408-3408 names "Asia" and Asia
(orientation Europe Asia West) Geography.kif 276-276 orientation Europe, Asia and West
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 orientation MiddleEastRegion, Asia and Southwest
(orientation NorthAmerica Asia East) Geography.kif 279-279 orientation NorthAmerica, Asia and East
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146 overlapsSpatially MiddleEastRegion and Asia
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 part KoreanPeninsula and Asia
(termFormat ChineseLanguage Asia "亚洲") domainEnglishFormat.kif 8665-8665
(termFormat ChineseTraditionalLanguage Asia "亞洲") domainEnglishFormat.kif 8664-8664
(termFormat EnglishLanguage Asia "asia") domainEnglishFormat.kif 8663-8663

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 instance Entity and Continent equal Africa and Entity equal NorthAmerica and Entity equal SouthAmerica and Entity equal Antarctica and Entity equal Europe and Entity equal Asia and Entity equal Oceania and 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 3.0 is open source software produced by Articulate Software and its partners