Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Europe
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
geographicSubregion
Europe
and
NorthernHemisphere
(
instance
Europe
Continent
)
CountriesAndRegions.kif 43-43
Europe
è un'
istanza
di
Continente
(
meetsSpatially
Europe
Asia
)
CountriesAndRegions.kif 45-45
Europe
incontra
s
Asia
(
orientation
Europe
Africa
North
)
Geography.kif 275-275
Europe
è
North
a
Africa
(
orientation
Europe
Asia
West
)
Geography.kif 276-276
Europe
è
West
a
Asia
(
orientation
Europe
NorthAmerica
East
)
Geography.kif 277-277
Europe
è
East
a
NorthAmerica
(
orientation
Europe
SouthAmerica
Northeast
)
Geography.kif 283-283
Europe
è
Northeast
a
SouthAmerica
(
overlapsSpatially
Europe
EasternHemisphere
)
Geography.kif 3545-3545
Europe
si
sovrappones a
EasternHemisphere
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3546-3546
Europe
si
sovrappones a
WesternHemisphere
appearance as argument number 2
(
geographicSubregion
CentralEurope
Europe
)
Geography.kif 156-156
geographicSubregion
CentralEurope
and
Europe
(
geographicSubregion
EasternEurope
Europe
)
Geography.kif 157-157
geographicSubregion
EasternEurope
and
Europe
(
geographicSubregion
NorthernEurope
Europe
)
Geography.kif 158-158
geographicSubregion
NorthernEurope
and
Europe
(
geographicSubregion
SoutheasternEurope
Europe
)
Geography.kif 161-161
geographicSubregion
SoutheasternEurope
and
Europe
(
geographicSubregion
SouthernEurope
Europe
)
Geography.kif 159-159
geographicSubregion
SouthernEurope
and
Europe
(
geographicSubregion
SouthwesternEurope
Europe
)
Geography.kif 162-162
geographicSubregion
SouthwesternEurope
and
Europe
(
geographicSubregion
WesternEurope
Europe
)
Geography.kif 160-160
geographicSubregion
WesternEurope
and
Europe
(
habitatOfOrganism
Badger
Europe
)
Mid-level-ontology.kif 20287-20287
habitatOfOrganism
Badger
and
Europe
(
habitatOfOrganism
Bear
Europe
)
Mid-level-ontology.kif 20302-20302
habitatOfOrganism
Bear
and
Europe
(
habitatOfOrganism
Crocodile
Europe
)
Mid-level-ontology.kif 30533-30533
habitatOfOrganism
Crocodile
and
Europe
(
habitatOfOrganism
Reindeer
Europe
)
Mid-level-ontology.kif 30515-30515
habitatOfOrganism
Reindeer
and
Europe
(
names
"Europe"
Europe
)
Geography.kif 3543-3543
names
"Europe" and
Europe
(
part
Germany
Europe
)
CountriesAndRegions.kif 1242-1242
Germany
è una
parte
di
Europe
(
part
Greece
Europe
)
CountriesAndRegions.kif 1245-1245
Greece
è una
parte
di
Europe
(
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
Entit�
è un'
istanza
di
Continente
Africa
is
uguale
a
Entit�
NorthAmerica
is
uguale
a
Entit�
SouthAmerica
is
uguale
a
Entit�
Antarctica
is
uguale
a
Entit�
Europe
is
uguale
a
Entit�
Asia
is
uguale
a
Entit�
Oceania
is
uguale
a
Entit�
(=>
(
attribute
?MEAL
ContinentalBreakfast
)
(
or
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
NorthAmerica
))
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
Europe
))))
Food.kif 1725-1729
attribute
Meal
and
ContinentalBreakfast
ContinentalBreakfast
is
uguale
a
MealAttributeFn
Meal
and
NorthAmerica
ContinentalBreakfast
is
uguale
a
MealAttributeFn
Meal
and
Europe
(=>
(
instance
?CITY
EuropeanCity
)
(
part
?CITY
Europe
))
CountriesAndRegions.kif 50-52
Oggetto
è un'
istanza
di
EuropeanCity
Oggetto
è una
parte
di
Europe
(=>
(
instance
?N
EuropeanNation
)
(
part
?N
Europe
))
CountriesAndRegions.kif 76-78
Oggetto
è un'
istanza
di
EuropeanNation
Oggetto
è una
parte
di
Europe
(=>
(
instance
?PLAIN
Steppe
)
(
or
(
located
?PLAIN
Europe
)
(
located
?PLAIN
Asia
)))
Geography.kif 6707-6711
Entit�Concreta
è un'
istanza
di
Steppe
Entit�Concreta
è
localizzato
in
Europe
Entit�Concreta
è
localizzato
in
Asia
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