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 379-380
(domain capitalCity 1 City) Government.kif 375-375 首都 的 1 数量 是 城市instance
(domain capitalCity 2 GeopoliticalArea) Government.kif 376-376 首都 的 2 数量 是 地缘政治区域instance
(instance capitalCity BinaryPredicate) Government.kif 374-374 首都二元谓语instance
(subrelation capitalCity administrativeCenter) Government.kif 377-377 首都行政中心subrelation

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 13085-13085
(termFormat ChineseTraditionalLanguage capitalCity "首都") domainEnglishFormat.kif 13084-13084
(termFormat EnglishLanguage capitalCity "capital city") domainEnglishFormat.kif 13083-13083

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 西方银行JerusalemPalestinecapital 城市
(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