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
(
domain
capitalCity
2
GeopoliticalArea
)
Government.kif 376-376
(
instance
capitalCity
BinaryPredicate
)
Government.kif 374-374
(
subrelation
capitalCity
administrativeCenter
)
Government.kif 377-377
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
(
capitalCity
BernSwitzerland
Switzerland
)
CountriesAndRegions.kif 721-721
(
capitalCity
ColumbusOhio
Ohio
)
CountriesAndRegions.kif 858-858
(
capitalCity
CopenhagenDenmark
Denmark
)
CountriesAndRegions.kif 844-844
(
capitalCity
DenverColorado
Colorado
)
CountriesAndRegions.kif 838-838
(
capitalCity
HonoluluHawaii
Hawaii
)
CountriesAndRegions.kif 825-825
(
capitalCity
JerusalemIsrael
Israel
)
CountriesAndRegions.kif 1837-1837
(
capitalCity
JerusalemPalestine
WestBank
)
CountriesAndRegions.kif 2980-2980
(
capitalCity
LondonUnitedKingdom
UnitedKingdom
)
CountriesAndRegions.kif 68-68
(
capitalCity
MoscowRussia
Russia
)
CountriesAndRegions.kif 749-749
(
capitalCity
Paris
France
)
CountriesAndRegions.kif 56-56
(
capitalCity
ProvidenceRhodeIsland
RhodeIsland
)
CountriesAndRegions.kif 771-771
(
capitalCity
RichmondVirginia
Virginia
)
CountriesAndRegions.kif 775-775
(
capitalCity
RomeItaly
Italy
)
CountriesAndRegions.kif 779-779
(
capitalCity
SaintPaulMinnesota
Minnesota
)
CountriesAndRegions.kif 786-786
(
capitalCity
TokyoJapan
Japan
)
CountriesAndRegions.kif 2389-2389
(
capitalCity
WarsawPoland
Poland
)
CountriesAndRegions.kif 802-802
(
capitalCity
WashingtonDCUnitedStates
UnitedStates
)
CountriesAndRegions.kif 1050-1050
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