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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 367-368
(domain capitalCity 1 City) Government.kif 363-363 domain capitalCity, 1 and City
(domain capitalCity 2 GeopoliticalArea) Government.kif 364-364 domain capitalCity, 2 and GeopoliticalArea
(instance capitalCity BinaryPredicate) Government.kif 362-362 instance capitalCity and BinaryPredicate
(subrelation capitalCity administrativeCenter) Government.kif 365-365 subrelation capitalCity and administrativeCenter

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 13015-13015
(termFormat ChineseTraditionalLanguage capitalCity "首都") domainEnglishFormat.kif 13014-13014
(termFormat EnglishLanguage capitalCity "capital city") domainEnglishFormat.kif 13013-13013

appearance as argument number 0

(capitalCity BerlinGermany Germany) CountriesAndRegions.kif 717-717 capitalCity BerlinGermany and Germany
(capitalCity BernSwitzerland Switzerland) CountriesAndRegions.kif 721-721 capitalCity BernSwitzerland and Switzerland
(capitalCity ColumbusOhio Ohio) CountriesAndRegions.kif 858-858 capitalCity ColumbusOhio and Ohio
(capitalCity CopenhagenDenmark Denmark) CountriesAndRegions.kif 844-844 capitalCity CopenhagenDenmark and Denmark
(capitalCity DenverColorado Colorado) CountriesAndRegions.kif 838-838 capitalCity DenverColorado and Colorado
(capitalCity HonoluluHawaii Hawaii) CountriesAndRegions.kif 825-825 capitalCity HonoluluHawaii and Hawaii
(capitalCity JerusalemIsrael Israel) CountriesAndRegions.kif 1837-1837 capitalCity JerusalemIsrael and Israel
(capitalCity JerusalemPalestine WestBank) CountriesAndRegions.kif 2981-2981 capitalCity JerusalemPalestine and WestBank
(capitalCity LondonUnitedKingdom UnitedKingdom) CountriesAndRegions.kif 68-68 capitalCity LondonUnitedKingdom and UnitedKingdom
(capitalCity MoscowRussia Russia) CountriesAndRegions.kif 749-749 capitalCity MoscowRussia and Russia
(capitalCity Paris France) CountriesAndRegions.kif 56-56 capitalCity Paris and France
(capitalCity ProvidenceRhodeIsland RhodeIsland) CountriesAndRegions.kif 771-771 capitalCity ProvidenceRhodeIsland and RhodeIsland
(capitalCity RichmondVirginia Virginia) CountriesAndRegions.kif 775-775 capitalCity RichmondVirginia and Virginia
(capitalCity RomeItaly Italy) CountriesAndRegions.kif 779-779 capitalCity RomeItaly and Italy
(capitalCity SaintPaulMinnesota Minnesota) CountriesAndRegions.kif 786-786 capitalCity SaintPaulMinnesota and Minnesota
(capitalCity TokyoJapan Japan) CountriesAndRegions.kif 2389-2389 capitalCity TokyoJapan and Japan
(capitalCity WarsawPoland Poland) CountriesAndRegions.kif 802-802 capitalCity WarsawPoland and Poland
(capitalCity WashingtonDCUnitedStates UnitedStates) CountriesAndRegions.kif 1050-1050 capitalCity WashingtonDCUnitedStates and UnitedStates

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners