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 例 歐洲 and Continent
(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45 空間的符合 歐洲 and 亞洲
(orientation Europe Africa North) Geography.kif 275-275 方位 歐洲, 非洲 and 北
(orientation Europe Asia West) Geography.kif 276-276 方位 歐洲, 亞洲 and 西方
(orientation Europe NorthAmerica East) Geography.kif 277-277 方位 歐洲, 北美 and 東
(orientation Europe SouthAmerica Northeast) Geography.kif 283-283 方位 歐洲, 南美洲 and 東北
(overlapsSpatially Europe EasternHemisphere) Geography.kif 3545-3545 在空間上重疊 歐洲 and 東半球
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3546-3546 在空間上重疊 歐洲 and 西半球

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" and 歐洲
(part Germany Europe) CountriesAndRegions.kif 1242-1242 部分 德國 and 歐洲
(part Greece Europe) CountriesAndRegions.kif 1245-1245 部分 希臘 and 歐洲
(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 例 Entity and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity
(=>
    (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