Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - capitalCity
capitalCity

appearance as argument number 1
-------------------------


(instance capitalCity BinaryPredicate) Government.kif 374-374 capital city is an instance of binary predicate
(domain capitalCity 1 City) Government.kif 375-375 The number 1 argument of capital city is an instance of city
(domain capitalCity 2 GeopoliticalArea) Government.kif 376-376 The number 2 argument of capital city is an instance of geopolitical area
(subrelation capitalCity administrativeCenter) Government.kif 377-377 capital city is a subrelation of administrative center
(documentation capitalCity EnglishLanguage "(capitalCity ?CITY ?REGION) means that the City ?CITY is the capital of the GeopoliticalArea ?REGION.") Government.kif 379-380 capital city is a subrelation of administrative center

appearance as argument number 2
-------------------------


(format EnglishLanguage capitalCity "%2 is %n a capital city of %1") domainEnglishFormat.kif 354-354
(format ChineseTraditionalLanguage capitalCity "%2 %n 是 %1 的 capital 城市") domainEnglishFormat.kif 355-355
(format ChineseLanguage capitalCity "%2 %n 是 %1 的 capital 城市") domainEnglishFormat.kif 356-356
(termFormat EnglishLanguage capitalCity "capital city") domainEnglishFormat.kif 13086-13086
(termFormat ChineseTraditionalLanguage capitalCity "首都") domainEnglishFormat.kif 13087-13087
(termFormat ChineseLanguage capitalCity "首都") domainEnglishFormat.kif 13088-13088

appearance as argument number 0
-------------------------


(capitalCity ParisFrance France) CountriesAndRegions.kif 56-56 France is a capital city of paris
(capitalCity LondonUnitedKingdom UnitedKingdom) CountriesAndRegions.kif 68-68 United kingdom is a capital city of London
(capitalCity BerlinGermany Germany) CountriesAndRegions.kif 717-717 Germany is a capital city of berlin germany
(capitalCity BernSwitzerland Switzerland) CountriesAndRegions.kif 721-721 Switzerland is a capital city of bern switzerland
(capitalCity MoscowRussia Russia) CountriesAndRegions.kif 749-749 Russia is a capital city of moscow russia
(capitalCity ProvidenceRhodeIsland RhodeIsland) CountriesAndRegions.kif 771-771 Rhode island is a capital city of providence rhode island
(capitalCity RichmondVirginia Virginia) CountriesAndRegions.kif 775-775 Virginia is a capital city of richmond virginia
(capitalCity RomeItaly Italy) CountriesAndRegions.kif 779-779 Italy is a capital city of rome italy
(capitalCity SaintPaulMinnesota Minnesota) CountriesAndRegions.kif 786-786 Minnesota is a capital city of saint paul minnesota
(capitalCity WarsawPoland Poland) CountriesAndRegions.kif 802-802 Poland is a capital city of warsaw poland
(capitalCity HonoluluHawaii Hawaii) CountriesAndRegions.kif 825-825 Hawaii is a capital city of honolulu hawaii
(capitalCity DenverColorado Colorado) CountriesAndRegions.kif 838-838 Colorado is a capital city of denver colorado
(capitalCity CopenhagenDenmark Denmark) CountriesAndRegions.kif 844-844 Denmark is a capital city of copenhagen denmark
(capitalCity ColumbusOhio Ohio) CountriesAndRegions.kif 858-858 Ohio is a capital city of columbus ohio
(capitalCity WashingtonDCUnitedStates UnitedStates) CountriesAndRegions.kif 1050-1050 United states is a capital city of washingtonDC united states
(capitalCity JerusalemIsrael Israel) CountriesAndRegions.kif 1841-1841 Israel is a capital city of jerusalem israel
(capitalCity TokyoJapan Japan) CountriesAndRegions.kif 2395-2395 Japan is a capital city of tokyo japan
(capitalCity JerusalemPalestine WestBank) CountriesAndRegions.kif 2985-2985 West bank is a capital city of Jerusalem Palestine


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