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
capitalCity
Sigma KEE - capitalCity
capitalCity
appearance as argument number 1
(
documentation
capitalCity
EnglishLanguage
"(
capitalCity
?CITY ?REGION) means that the
City
?CITY is the capital of the
GeopoliticalArea
?REGION.")
Government.kif 379-380
(
domain
capitalCity
1
City
)
Government.kif 375-375
域
首都
, 1 and
City
(
domain
capitalCity
2
GeopoliticalArea
)
Government.kif 376-376
域
首都
, 2 and
GeopoliticalArea
(
instance
capitalCity
BinaryPredicate
)
Government.kif 374-374
例
首都
and
BinaryPredicate
(
subrelation
capitalCity
administrativeCenter
)
Government.kif 377-377
子關係
首都
and
行政中心
appearance as argument number 2
(
format
ChineseLanguage
capitalCity
"%2 %n 是 %1 的 capital 城市")
domainEnglishFormat.kif 356-356
(
format
ChineseTraditionalLanguage
capitalCity
"%2 %n 是 %1 的 capital 城市")
domainEnglishFormat.kif 355-355
(
format
EnglishLanguage
capitalCity
"%2 is %n a capital city of %1")
domainEnglishFormat.kif 354-354
(
termFormat
ChineseLanguage
capitalCity
"首都")
domainEnglishFormat.kif 13080-13080
(
termFormat
ChineseTraditionalLanguage
capitalCity
"首都")
domainEnglishFormat.kif 13079-13079
(
termFormat
EnglishLanguage
capitalCity
"capital city")
domainEnglishFormat.kif 13078-13078
appearance as argument number 0
(
capitalCity
BerlinGermany
Germany
)
CountriesAndRegions.kif 717-717
德國
是
柏林,德國
的
capital
城市
(
capitalCity
BernSwitzerland
Switzerland
)
CountriesAndRegions.kif 721-721
瑞士
是
伯爾尼瑞士
的
capital
城市
(
capitalCity
ColumbusOhio
Ohio
)
CountriesAndRegions.kif 858-858
俄亥俄州
是
哥倫布俄亥俄州
的
capital
城市
(
capitalCity
CopenhagenDenmark
Denmark
)
CountriesAndRegions.kif 844-844
丹麥
是
哥本哈根丹麥
的
capital
城市
(
capitalCity
DenverColorado
Colorado
)
CountriesAndRegions.kif 838-838
科羅拉多州
是
丹佛科羅拉多州
的
capital
城市
(
capitalCity
HonoluluHawaii
Hawaii
)
CountriesAndRegions.kif 825-825
夏威夷
是
檀香山夏威夷
的
capital
城市
(
capitalCity
JerusalemIsrael
Israel
)
CountriesAndRegions.kif 1837-1837
以色列
是
耶路撒冷以色列
的
capital
城市
(
capitalCity
JerusalemPalestine
WestBank
)
CountriesAndRegions.kif 2980-2980
西方銀行
是
JerusalemPalestine
的
capital
城市
(
capitalCity
LondonUnitedKingdom
UnitedKingdom
)
CountriesAndRegions.kif 68-68
英國
是
倫敦
的
capital
城市
(
capitalCity
MoscowRussia
Russia
)
CountriesAndRegions.kif 749-749
俄國
是
莫斯科俄羅斯
的
capital
城市
(
capitalCity
Paris
France
)
CountriesAndRegions.kif 56-56
法國
是
巴黎
的
capital
城市
(
capitalCity
ProvidenceRhodeIsland
RhodeIsland
)
CountriesAndRegions.kif 771-771
羅德島
是
天意羅德島
的
capital
城市
(
capitalCity
RichmondVirginia
Virginia
)
CountriesAndRegions.kif 775-775
弗吉尼亞州
是
里士滿弗吉尼亞州
的
capital
城市
(
capitalCity
RomeItaly
Italy
)
CountriesAndRegions.kif 779-779
意大利
是
意大利羅馬
的
capital
城市
(
capitalCity
SaintPaulMinnesota
Minnesota
)
CountriesAndRegions.kif 786-786
明尼蘇達
是
聖保羅明尼蘇達州
的
capital
城市
(
capitalCity
TokyoJapan
Japan
)
CountriesAndRegions.kif 2389-2389
日本
是
日本東京
的
capital
城市
(
capitalCity
WarsawPoland
Poland
)
CountriesAndRegions.kif 802-802
波蘭
是
華沙波蘭
的
capital
城市
(
capitalCity
WashingtonDCUnitedStates
UnitedStates
)
CountriesAndRegions.kif 1050-1050
美國
是
華盛頓特區美國
的
capital
城市
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