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://articulatesoftware.com/SUMOpictures/geography/ continents/ asia.png") pictureList.kif 241-241
(geographicSubregion Asia EasternHemisphere) Geography.kif 3552-3552 geographicSubregion Asia and EasternHemisphere
(instance Asia Continent) Geography.kif 3548-3548 Asia大陸instance では %n
(orientation Asia Oceania Northwest) Geography.kif 281-281 AsiaNorthwestOceania では %n
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3550-3550 overlapsSpatially Asia and NorthernHemisphere
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3551-3551 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 20289-20289 habitatOfOrganism Badger and Asia
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 20304-20304 habitatOfOrganism Bear and Asia
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 30569-30569 habitatOfOrganism Cheetah and Asia
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 30546-30546 habitatOfOrganism Crocodile and Asia
(habitatOfOrganism Parrot Asia) Mid-level-ontology.kif 30451-30451 habitatOfOrganism Parrot and Asia
(habitatOfOrganism Reindeer Asia) Mid-level-ontology.kif 30528-30528 habitatOfOrganism Reindeer and Asia
(habitatOfOrganism Rhinoceros Asia) Mid-level-ontology.kif 30434-30434 habitatOfOrganism Rhinoceros and Asia
(habitatOfOrganism Tiger Asia) Mid-level-ontology.kif 30414-30414 habitatOfOrganism Tiger and Asia
(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45 EuropeAsiameets %n{ない}
(names "Asia" Asia) Geography.kif 3549-3549 Asia は "Asia" の name を 持って %n{ない}
(orientation Europe Asia West) Geography.kif 276-276 EuropeWestAsia では %n
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 MiddleEastRegionSouthwestAsia では %n
(orientation NorthAmerica Asia East) Geography.kif 279-279 NorthAmericaEastAsia では %n
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146 overlapsSpatially MiddleEastRegion and Asia
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 KoreanPeninsulaAsiapart では %n
(termFormat ChineseLanguage Asia "亚洲") domainEnglishFormat.kif 8658-8658
(termFormat ChineseTraditionalLanguage Asia "亞洲") domainEnglishFormat.kif 8657-8657
(termFormat EnglishLanguage Asia "asia") domainEnglishFormat.kif 8656-8656

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 3504-3513 エンティティー大陸instance では %n Africa エンティティーequal では %n NorthAmerica エンティティーequal では %n SouthAmerica エンティティーequal では %n Antarctica エンティティーequal では %n Europe エンティティーequal では %n Asia エンティティーequal では %n Oceania エンティティーequal では %n
(=>
    (instance ?PLAIN Steppe)
    (or
        (located ?PLAIN Europe)
        (located ?PLAIN Asia)))
Geography.kif 6707-6711


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 3.0 is open source software produced by Articulate Software and its partners