Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
administrativeCenter
Sigma KEE - administrativeCenter
administrativeCenter
appearance as argument number 1
(
instance
administrativeCenter
BinaryPredicate
)
Government.kif 382-382
administrative center
is an
instance
of
binary predicate
(
domain
administrativeCenter
1
GeopoliticalArea
)
Government.kif 383-383
The number 1 argument of
administrative center
is an
instance
of
geopolitical area
(
domain
administrativeCenter
2
GeopoliticalArea
)
Government.kif 384-384
The number 2 argument of
administrative center
is an
instance
of
geopolitical area
(
subrelation
administrativeCenter
geopoliticalSubdivision
)
Government.kif 385-385
administrative center
is a
subrelation
of
geopolitical subdivision
(
documentation
administrativeCenter
EnglishLanguage
"(
administrativeCenter
?CENTER ?REGION) means that ?CENTER is the
City
(or other area) from which the larger
GeopoliticalArea
?REGION is administered.")
Government.kif 387-389
administrative center
is a
subrelation
of
geopolitical subdivision
appearance as argument number 2
(
subrelation
capitalCity
administrativeCenter
)
Government.kif 377-377
capital city
is a
subrelation
of
administrative center
(
format
EnglishLanguage
administrativeCenter
"%2 is %n the administrative center of %1")
domainEnglishFormat.kif 58-58
capital city
is a
subrelation
of
administrative center
(
format
ChineseTraditionalLanguage
administrativeCenter
"%2 %n 是 %1 的 administrative 中心")
domainEnglishFormat.kif 59-59
capital city
is a
subrelation
of
administrative center
(
format
ChineseLanguage
administrativeCenter
"%2 %n 是 %1 的 administrative 中心")
domainEnglishFormat.kif 60-60
capital city
is a
subrelation
of
administrative center
(
termFormat
EnglishLanguage
administrativeCenter
"administrative center")
domainEnglishFormat.kif 5557-5557
capital city
is a
subrelation
of
administrative center
(
termFormat
ChineseTraditionalLanguage
administrativeCenter
"行政中心")
domainEnglishFormat.kif 5558-5558
capital city
is a
subrelation
of
administrative center
(
termFormat
ChineseLanguage
administrativeCenter
"行政中心")
domainEnglishFormat.kif 5559-5559
capital city
is a
subrelation
of
administrative center
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners