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://articulatesoftware.com/SUMOpictures/geography/ continents/ asia.png") pictureList.kif 241-241
(geographicSubregion Asia EasternHemisphere) Geography.kif 3540-3540
(instance Asia Continent) Geography.kif 3536-3536
(orientation Asia Oceania Northwest) Geography.kif 281-281
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3538-3538
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3539-3539

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


(geographicSubregion CentralAsia Asia) Geography.kif 177-177
(geographicSubregion EasternAsia Asia) Geography.kif 178-178
(geographicSubregion MediterraneanRegion Asia) Geography.kif 4893-4893
(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 21906-21906
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 21921-21921
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 32505-32505
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 32482-32482
(habitatOfOrganism Parrot Asia) Mid-level-ontology.kif 32387-32387
(habitatOfOrganism Reindeer Asia) Mid-level-ontology.kif 32464-32464
(habitatOfOrganism Rhinoceros Asia) Mid-level-ontology.kif 32370-32370
(habitatOfOrganism Tiger Asia) Mid-level-ontology.kif 32350-32350
(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45
(names "Asia" Asia) Geography.kif 3537-3537
(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 ChineseLanguage Asia "亚洲") domainEnglishFormat.kif 8659-8659
(termFormat ChineseTraditionalLanguage Asia "亞洲") domainEnglishFormat.kif 8658-8658
(termFormat EnglishLanguage Asia "asia") domainEnglishFormat.kif 8657-8657

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 3492-3501
(=>
    (instance ?PLAIN Steppe)
    (or
        (located ?PLAIN Europe)
        (located ?PLAIN Asia)))
Geography.kif 6873-6877


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