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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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
(instance capitalCity BinaryPredicate) Government.kif 374-374 capital city is an instance of binary predicate
(subrelation capitalCity administrativeCenter) Government.kif 377-377 capital city is a subrelation of administrative center

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 13091-13091
(termFormat ChineseTraditionalLanguage capitalCity "首都") domainEnglishFormat.kif 13090-13090
(termFormat EnglishLanguage capitalCity "capital city") domainEnglishFormat.kif 13089-13089

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


(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 ColumbusOhio Ohio) CountriesAndRegions.kif 858-858 Ohio is a capital city of columbus ohio
(capitalCity CopenhagenDenmark Denmark) CountriesAndRegions.kif 844-844 Denmark is a capital city of copenhagen denmark
(capitalCity DenverColorado Colorado) CountriesAndRegions.kif 838-838 Colorado is a capital city of denver colorado
(capitalCity HonoluluHawaii Hawaii) CountriesAndRegions.kif 825-825 Hawaii is a capital city of honolulu hawaii
(capitalCity JerusalemIsrael Israel) CountriesAndRegions.kif 1837-1837 Israel is a capital city of jerusalem israel
(capitalCity JerusalemPalestine WestBank) CountriesAndRegions.kif 2980-2980 West bank is a capital city of Jerusalem Palestine
(capitalCity LondonUnitedKingdom UnitedKingdom) CountriesAndRegions.kif 68-68 United kingdom is a capital city of London
(capitalCity MoscowRussia Russia) CountriesAndRegions.kif 749-749 Russia is a capital city of moscow russia
(capitalCity Paris France) CountriesAndRegions.kif 56-56 France is a capital city of paris
(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 TokyoJapan Japan) CountriesAndRegions.kif 2389-2389 Japan is a capital city of tokyo japan
(capitalCity WarsawPoland Poland) CountriesAndRegions.kif 802-802 Poland is a capital city of warsaw poland
(capitalCity WashingtonDCUnitedStates UnitedStates) CountriesAndRegions.kif 1050-1050 United states is a capital city of washingtonDC united states


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