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
(domain capitalCity 2 GeopoliticalArea) Government.kif 376-376
(instance capitalCity BinaryPredicate) Government.kif 374-374
(subrelation capitalCity administrativeCenter) Government.kif 377-377

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


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