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
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 3702-3702
geographicSubregion
Europe
and
NorthernHemisphere
(
instance
Europe
Continent
)
CountriesAndRegions.kif 43-43
Europe
は
大陸
の
instance
では
(
meetsSpatially
Europe
Asia
)
CountriesAndRegions.kif 45-45
Europe
は
Asia
と
meet
s
(
orientation
Europe
Africa
North
)
Geography.kif 275-275
Europe
は
North
対
Africa
では
(
orientation
Europe
Asia
West
)
Geography.kif 276-276
Europe
は
West
対
Asia
では
(
orientation
Europe
NorthAmerica
East
)
Geography.kif 277-277
Europe
は
East
対
NorthAmerica
では
(
orientation
Europe
SouthAmerica
Northeast
)
Geography.kif 283-283
Europe
は
Northeast
対
SouthAmerica
では
(
overlapsSpatially
Europe
EasternHemisphere
)
Geography.kif 3703-3703
overlapsSpatially
Europe
and
EasternHemisphere
(
overlapsSpatially
Europe
WesternHemisphere
)
Geography.kif 3704-3704
overlapsSpatially
Europe
and
WesternHemisphere
appearance as argument number 2
(
connects
StraitOfGibraltar
Europe
Africa
)
Geography.kif 5618-5618
StraitOfGibraltar
は
Europe
と
Africa
に
connect
s
(
geographicSubregion
CentralEurope
Europe
)
Geography.kif 156-156
geographicSubregion
CentralEurope
and
Europe
(
geographicSubregion
EasternEurope
Europe
)
Geography.kif 157-157
geographicSubregion
EasternEurope
and
Europe
(
geographicSubregion
MediterraneanRegion
Europe
)
Geography.kif 327-327
geographicSubregion
MediterraneanRegion
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 21905-21905
habitatOfOrganism
Badger
and
Europe
(
habitatOfOrganism
Bear
Europe
)
Mid-level-ontology.kif 21920-21920
habitatOfOrganism
Bear
and
Europe
(
habitatOfOrganism
Crocodile
Europe
)
Mid-level-ontology.kif 32479-32479
habitatOfOrganism
Crocodile
and
Europe
(
habitatOfOrganism
Reindeer
Europe
)
Mid-level-ontology.kif 32461-32461
habitatOfOrganism
Reindeer
and
Europe
(
names
"Europe"
Europe
)
Geography.kif 3701-3701
Europe
は "Europe" の &ames$"name" を 持って
(
part
Germany
Europe
)
CountriesAndRegions.kif 1242-1242
Germany
は
Europe
の
part
では
(
part
Greece
Europe
)
CountriesAndRegions.kif 1245-1245
Greece
は
Europe
の
part
では
(
termFormat
ChineseLanguage
Europe
"欧洲")
domainEnglishFormat.kif 22540-22540
Greece
は
Europe
の
part
では
(
termFormat
ChineseTraditionalLanguage
Europe
"歐洲")
domainEnglishFormat.kif 22539-22539
Greece
は
Europe
の
part
では
(
termFormat
EnglishLanguage
Europe
"europe")
domainEnglishFormat.kif 22538-22538
Greece
は
Europe
の
part
では
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 3662-3671
エンティティー
は
大陸
の
instance
では
equal
Africa
and
エンティティー
equal
NorthAmerica
and
エンティティー
equal
SouthAmerica
and
エンティティー
equal
Antarctica
and
エンティティー
equal
Europe
and
エンティティー
equal
Asia
and
エンティティー
equal
Oceania
and
エンティティー
(=>
(
attribute
?MEAL
ContinentalBreakfast
)
(
or
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
NorthAmerica
))
(
equal
ContinentalBreakfast
(
MealAttributeFn
?MEAL
Europe
))))
Food.kif 1731-1735
ContinentalBreakfast
は
Meal
の
attribute
では
equal
ContinentalBreakfast
and
MealAttributeFn
Meal
and
NorthAmerica
equal
ContinentalBreakfast
and
MealAttributeFn
Meal
and
Europe
(=>
(
instance
?CITY
EuropeanCity
)
(
part
?CITY
Europe
))
CountriesAndRegions.kif 50-52
オブジェクト
は
EuropeanCity
の
instance
では
オブジェクト
は
Europe
の
part
では
(=>
(
instance
?N
EuropeanNation
)
(
part
?N
Europe
))
CountriesAndRegions.kif 76-78
オブジェクト
は
EuropeanNation
の
instance
では
オブジェクト
は
Europe
の
part
では
(=>
(
instance
?PLAIN
Steppe
)
(
or
(
located
?PLAIN
Europe
)
(
located
?PLAIN
Asia
)))
Geography.kif 7044-7048
物理
は
Steppe
の
instance
では
物理
は
Europe
に
located
して
物理
は
Asia
に
located
して
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