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
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
e' uma
instancia
de
Continente
(
meetsSpatially
Europe
Asia
)
CountriesAndRegions.kif 45-45
Europe
encontra
Asia
(
orientation
Europe
Africa
North
)
Geography.kif 275-275
Europe
e'
North
em relacao a
Africa
(
orientation
Europe
Asia
West
)
Geography.kif 276-276
Europe
e'
West
em relacao a
Asia
(
orientation
Europe
NorthAmerica
East
)
Geography.kif 277-277
Europe
e'
East
em relacao a
NorthAmerica
(
orientation
Europe
SouthAmerica
Northeast
)
Geography.kif 283-283
Europe
e'
Northeast
em relacao a
SouthAmerica
(
overlapsSpatially
Europe
EasternHemisphere
)
Geography.kif 3545-3545
Europe
engloba
EasternHemisphere
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3546-3546
Europe
engloba
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 20315-20315
habitatOfOrganism
Badger
and
Europe
(
habitatOfOrganism
Bear
Europe
)
Mid-level-ontology.kif 20330-20330
habitatOfOrganism
Bear
and
Europe
(
habitatOfOrganism
Crocodile
Europe
)
Mid-level-ontology.kif 30569-30569
habitatOfOrganism
Crocodile
and
Europe
(
habitatOfOrganism
Reindeer
Europe
)
Mid-level-ontology.kif 30551-30551
habitatOfOrganism
Reindeer
and
Europe
(
names
"Europe"
Europe
)
Geography.kif 3543-3543
Europe
se chama
nome
"Europe"
(
part
Germany
Europe
)
CountriesAndRegions.kif 1242-1242
Germany
e' uma &parte de
Europe
(
part
Greece
Europe
)
CountriesAndRegions.kif 1245-1245
Greece
e' uma &parte de
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
Entidade
e' uma
instancia
de
Continente
Africa
e'
igual
a
Entidade
NorthAmerica
e'
igual
a
Entidade
SouthAmerica
e'
igual
a
Entidade
Antarctica
e'
igual
a
Entidade
Europe
e'
igual
a
Entidade
Asia
e'
igual
a
Entidade
Oceania
e'
igual
a
Entidade
(=>
(
attribute
?MEAL
ContinentalBreakfast
)
(
or
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
NorthAmerica
))
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
Europe
))))
Food.kif 1725-1729
ContinentalBreakfast
e' um
atributo
de
Meal
ContinentalBreakfast
e'
igual
a
MealAttributeFn
Meal
and
NorthAmerica
ContinentalBreakfast
e'
igual
a
MealAttributeFn
Meal
and
Europe
(=>
(
instance
?CITY
EuropeanCity
)
(
part
?CITY
Europe
))
CountriesAndRegions.kif 50-52
Objeto
e' uma
instancia
de
EuropeanCity
Objeto
e' uma &parte de
Europe
(=>
(
instance
?N
EuropeanNation
)
(
part
?N
Europe
))
CountriesAndRegions.kif 76-78
Objeto
e' uma
instancia
de
EuropeanNation
Objeto
e' uma &parte de
Europe
(=>
(
instance
?PLAIN
Steppe
)
(
or
(
located
?PLAIN
Europe
)
(
located
?PLAIN
Asia
)))
Geography.kif 6707-6711
Fisico
e' uma
instancia
de
Steppe
Fisico
e'
situado
em
Europe
Fisico
e'
situado
em
Asia
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