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 capitalCity の数値 1 引数は 都市 の instance では %n
(domain capitalCity 2 GeopoliticalArea) Government.kif 376-376 capitalCity の数値 2 引数は 地政学的地域 の instance では %n
(instance capitalCity BinaryPredicate) Government.kif 374-374 capitalCity は 2進述語 の instance では %n
(subrelation capitalCity administrativeCenter) Government.kif 377-377 capitalCity は administrativeCenter の subrelation では %n

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 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 2980-2980 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 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