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://articulatesoftware.com/SUMOpictures/geography/ continents/ europe.png") pictureList.kif 418-418
(geographicSubregion Europe NorthernHemisphere) Geography.kif 3544-3544 欧洲北半球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 3545-3545 欧洲东半球 重叠
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3546-3546 欧洲西半球 重叠

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 20288-20288 Badger inhabits 欧洲
(habitatOfOrganism Bear Europe) Mid-level-ontology.kif 20303-20303 Bear inhabits 欧洲
(habitatOfOrganism Crocodile Europe) Mid-level-ontology.kif 30545-30545 Crocodile inhabits 欧洲
(habitatOfOrganism Reindeer Europe) Mid-level-ontology.kif 30527-30527 驯鹿 inhabits 欧洲
(names "Europe" Europe) Geography.kif 3543-3543 欧洲 的名 是 "Europe"
(part Germany Europe) CountriesAndRegions.kif 1242-1242 德国欧洲part
(part Greece Europe) CountriesAndRegions.kif 1245-1245 希腊欧洲part
(termFormat ChineseLanguage Europe "欧洲") domainEnglishFormat.kif 22534-22534
(termFormat ChineseTraditionalLanguage Europe "歐洲") domainEnglishFormat.kif 22533-22533
(termFormat EnglishLanguage Europe "europe") domainEnglishFormat.kif 22532-22532

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 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体
(=>
    (attribute ?MEAL ContinentalBreakfast)
    (or
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL NorthAmerica))
        (equal ContinentalBreakfast
            (MealAttributeFn ?MEAL Europe))))
Food.kif 1725-1729
(=>
    (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 6707-6711


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