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
は
大陸
の
instance
では %n
(
meetsSpatially
Europe
Asia
)
CountriesAndRegions.kif 45-45
Europe
は
Asia
と
meet
s %n{ない}
(
orientation
Europe
Africa
North
)
Geography.kif 275-275
Europe
は
North
対
Africa
では %n
(
orientation
Europe
Asia
West
)
Geography.kif 276-276
Europe
は
West
対
Asia
では %n
(
orientation
Europe
NorthAmerica
East
)
Geography.kif 277-277
Europe
は
East
対
NorthAmerica
では %n
(
orientation
Europe
SouthAmerica
Northeast
)
Geography.kif 283-283
Europe
は
Northeast
対
SouthAmerica
では %n
(
overlapsSpatially
Europe
EasternHemisphere
)
Geography.kif 3545-3545
overlapsSpatially
Europe
and
EasternHemisphere
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3546-3546
overlapsSpatially
Europe
and
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 20288-20288
habitatOfOrganism
Badger
and
Europe
(
habitatOfOrganism
Bear
Europe
)
Mid-level-ontology.kif 20303-20303
habitatOfOrganism
Bear
and
Europe
(
habitatOfOrganism
Crocodile
Europe
)
Mid-level-ontology.kif 30545-30545
habitatOfOrganism
Crocodile
and
Europe
(
habitatOfOrganism
Reindeer
Europe
)
Mid-level-ontology.kif 30527-30527
habitatOfOrganism
Reindeer
and
Europe
(
names
"Europe"
Europe
)
Geography.kif 3543-3543
Europe
は "Europe" の
name
を 持って %n{ない}
(
part
Germany
Europe
)
CountriesAndRegions.kif 1242-1242
Germany
は
Europe
の
part
では %n
(
part
Greece
Europe
)
CountriesAndRegions.kif 1245-1245
Greece
は
Europe
の
part
では %n
(
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
では %n
Africa
は
エンティティー
と
equal
では %n
NorthAmerica
は
エンティティー
と
equal
では %n
SouthAmerica
は
エンティティー
と
equal
では %n
Antarctica
は
エンティティー
と
equal
では %n
Europe
は
エンティティー
と
equal
では %n
Asia
は
エンティティー
と
equal
では %n
Oceania
は
エンティティー
と
equal
では %n
(=>
(
attribute
?MEAL
ContinentalBreakfast
)
(
or
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
NorthAmerica
))
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
Europe
))))
Food.kif 1725-1729
ContinentalBreakfast
は
Meal
の
attribute
では %n
ContinentalBreakfast
は
MealAttributeFn
Meal
and
NorthAmerica
と
equal
では %n
ContinentalBreakfast
は
MealAttributeFn
Meal
and
Europe
と
equal
では %n
(=>
(
instance
?CITY
EuropeanCity
)
(
part
?CITY
Europe
))
CountriesAndRegions.kif 50-52
オブジェクト
は
EuropeanCity
の
instance
では %n
オブジェクト
は
Europe
の
part
では %n
(=>
(
instance
?N
EuropeanNation
)
(
part
?N
Europe
))
CountriesAndRegions.kif 76-78
オブジェクト
は
EuropeanNation
の
instance
では %n
オブジェクト
は
Europe
の
part
では %n
(=>
(
instance
?PLAIN
Steppe
)
(
or
(
located
?PLAIN
Europe
)
(
located
?PLAIN
Asia
)))
Geography.kif 6707-6711
物理
は
Steppe
の
instance
では %n
物理
は
Europe
に
located
して %n
物理
は
Asia
に
located
して %n
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