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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Europe
Europe(欧洲)

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


(documentation Europe EnglishLanguage "The second smallest Continent.") CountriesAndRegions.kif 44-44
(externalImage Europe "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ europe.png") pictureList.kif 418-418
(geographicSubregion Europe NorthernHemisphere) Geography.kif 3466-3466 欧洲北半球geographic 次要地区
(instance Europe Continent) CountriesAndRegions.kif 43-43 欧洲大陆instance
(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45 欧洲 接上 亚洲
(orientation Europe Africa North) Geography.kif 275-275 欧洲非洲
(orientation Europe Asia West) Geography.kif 276-276 欧洲亚洲西方
(orientation Europe NorthAmerica East) Geography.kif 277-277 欧洲北美
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 欧洲南美洲东北
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3467-3467 欧洲东半球 重叠
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3468-3468 欧洲西半球 重叠

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


(geographicSubregion CentralEurope Europe) Geography.kif 156-156 欧洲中部欧洲geographic 次要地区
(geographicSubregion EasternEurope Europe) Geography.kif 157-157 东欧洲欧洲geographic 次要地区
(geographicSubregion NorthernEurope Europe) Geography.kif 158-158 北欧欧洲geographic 次要地区
(geographicSubregion SoutheasternEurope Europe) Geography.kif 161-161 东南欧欧洲geographic 次要地区
(geographicSubregion SouthernEurope Europe) Geography.kif 159-159 南欧欧洲geographic 次要地区
(geographicSubregion SouthwesternEurope Europe) Geography.kif 162-162 西南欧欧洲geographic 次要地区
(geographicSubregion WesternEurope Europe) Geography.kif 160-160 西欧欧洲geographic 次要地区
(habitatOfOrganism Badger Europe) Mid-level-ontology.kif 19595-19595 Badger inhabits 欧洲
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 19610-19610 Bear inhabits 欧洲
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 29923-29923 Crocodile inhabits 欧洲
(habitatOfOrganism Reindeer Europe) Mid-level-ontology.kif 29905-29905 驯鹿 inhabits 欧洲
(names "Europe" Europe) Geography.kif 3465-3465 欧洲 的名 是 "Europe"
(part Germany Europe) CountriesAndRegions.kif 1242-1242 德国欧洲part
(part Greece Europe) CountriesAndRegions.kif 1245-1245 希腊欧洲part
(termFormat ChineseLanguage Europe "欧洲") domainEnglishFormat.kif 22527-22527
(termFormat ChineseTraditionalLanguage Europe "歐洲") domainEnglishFormat.kif 22526-22526
(termFormat EnglishLanguage Europe "europe") domainEnglishFormat.kif 22525-22525

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 3426-3435 实体大陆instance 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体
(=>
    (attribute ?MEAL ContinentalBreakfast)
    (or
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL NorthAmerica))
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL Europe))))
Food.kif 117-121
(=>
    (instance ?CITY EuropeanCity)
    (part ?CITY Europe))
CountriesAndRegions.kif 50-52
(=>
    (instance ?N EuropeanNation)
    (part ?N Europe))
CountriesAndRegions.kif 76-78
(=>
    (instance ?PLAIN Steppe)
    (or
        (located ?PLAIN Europe)
        (located ?PLAIN Asia)))
Geography.kif 6395-6399


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