| 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 13091-13091 | |
| (termFormat ChineseTraditionalLanguage capitalCity "首都") | domainEnglishFormat.kif 13090-13090 | |
| (termFormat EnglishLanguage capitalCity "capital city") | domainEnglishFormat.kif 13089-13089 |
| 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