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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 首都 的 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 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 德国 是 柏林，德国 的 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 西方银行 是 JerusalemPalestine 的 capital 城市
(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