Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
(europe)
Continental
,
Europe
,
European
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 3669-3669
Europe
is a
geographic
subregion of
northern hemisphere
(
instance
Europe
Continent
)
CountriesAndRegions.kif 43-43
Europe
is an
instance
of
continent
(
meetsSpatially
Europe
Asia
)
CountriesAndRegions.kif 45-45
Europe
meet
s
asia
(
orientation
Europe
Africa
North
)
Geography.kif 275-275
Europe
is
north
to
africa
(
orientation
Europe
Asia
West
)
Geography.kif 276-276
Europe
is
west
to
asia
(
orientation
Europe
NorthAmerica
East
)
Geography.kif 277-277
Europe
is
east
to
north america
(
orientation
Europe
SouthAmerica
Northeast
)
Geography.kif 283-283
Europe
is
northeast
to
south america
(
overlapsSpatially
Europe
EasternHemisphere
)
Geography.kif 3670-3670
Europe
and
eastern hemisphere
overlapsSpatially
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3671-3671
Europe
and
western hemisphere
overlapsSpatially
appearance as argument number 2
(
connects
StraitOfGibraltar
Europe
Africa
)
Geography.kif 5585-5585
Strait of Gibraltar
connect
s
europe
and
africa
(
geographicSubregion
CentralEurope
Europe
)
Geography.kif 156-156
Central europe
is a
geographic
subregion of
europe
(
geographicSubregion
EasternEurope
Europe
)
Geography.kif 157-157
Eastern europe
is a
geographic
subregion of
europe
(
geographicSubregion
MediterraneanRegion
Europe
)
Geography.kif 327-327
Mediterranean Region
is a
geographic
subregion of
europe
(
geographicSubregion
NorthernEurope
Europe
)
Geography.kif 158-158
Northern europe
is a
geographic
subregion of
europe
(
geographicSubregion
SoutheasternEurope
Europe
)
Geography.kif 161-161
Southeastern europe
is a
geographic
subregion of
europe
(
geographicSubregion
SouthernEurope
Europe
)
Geography.kif 159-159
Southern europe
is a
geographic
subregion of
europe
(
geographicSubregion
SouthwesternEurope
Europe
)
Geography.kif 162-162
Southwestern europe
is a
geographic
subregion of
europe
(
geographicSubregion
WesternEurope
Europe
)
Geography.kif 160-160
Western europe
is a
geographic
subregion of
europe
(
habitatOfOrganism
Badger
Europe
)
Mid-level-ontology.kif 21905-21905
Badger
inhabits
europe
(
habitatOfOrganism
Bear
Europe
)
Mid-level-ontology.kif 21920-21920
Bear
inhabits
europe
(
habitatOfOrganism
Crocodile
Europe
)
Mid-level-ontology.kif 32479-32479
Crocodile
inhabits
europe
(
habitatOfOrganism
Reindeer
Europe
)
Mid-level-ontology.kif 32461-32461
Reindeer
inhabits
europe
(
names
"Europe"
Europe
)
Geography.kif 3668-3668
Europe
has &ames$"name" "Europe"
(
part
Germany
Europe
)
CountriesAndRegions.kif 1242-1242
Germany
is a
part
of
europe
(
part
Greece
Europe
)
CountriesAndRegions.kif 1245-1245
Greece
is a
part
of
europe
(
termFormat
ChineseLanguage
Europe
"欧洲")
domainEnglishFormat.kif 22540-22540
Greece
is a
part
of
europe
(
termFormat
ChineseTraditionalLanguage
Europe
"歐洲")
domainEnglishFormat.kif 22539-22539
Greece
is a
part
of
europe
(
termFormat
EnglishLanguage
Europe
"europe")
domainEnglishFormat.kif 22538-22538
Greece
is a
part
of
europe
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 3629-3638
An entity
is an
instance
of
continent
if and only if
equal
africa
and
the entity
or
equal
north america
and
the entity
or
equal
south america
and
the entity
or
equal
antarctica
and
the entity
or
equal
europe
and
the entity
or
equal
asia
and
the entity
or
equal
oceania
and
the entity
(=>
(
attribute
?MEAL
ContinentalBreakfast
)
(
or
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
NorthAmerica
))
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
Europe
))))
Food.kif 1731-1735
If
continental breakfast
is an
attribute
of
a meal
,
then
equal
continental breakfast
and the appropriate
meal
for
the meal
in
north america
or
equal
continental breakfast
and the appropriate
meal
for
the meal
in
europe
(=>
(
instance
?CITY
EuropeanCity
)
(
part
?CITY
Europe
))
CountriesAndRegions.kif 50-52
If
an object
is an
instance
of
european city
,
then
the object
is a
part
of
europe
(=>
(
instance
?N
EuropeanNation
)
(
part
?N
Europe
))
CountriesAndRegions.kif 76-78
If
an object
is an
instance
of
european nation
,
then
the object
is a
part
of
europe
(=>
(
instance
?PLAIN
Steppe
)
(
or
(
located
?PLAIN
Europe
)
(
located
?PLAIN
Asia
)))
Geography.kif 7011-7015
If
a physical
is an
instance
of
steppe
,
then
the physical
is
located
at
europe
or
the physical
is
located
at
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