| s__capitalCity(s__BerlinGermany, s__Germany) |
CountriesAndRegions.kif 717-717 |
Germany is a capital city of berlin germany |
| s__capitalCity(s__BernSwitzerland, s__Switzerland) |
CountriesAndRegions.kif 721-721 |
Switzerland is a capital city of bern switzerland |
| s__capitalCity(s__ColumbusOhio, s__Ohio) |
CountriesAndRegions.kif 858-858 |
Ohio is a capital city of columbus ohio |
| s__capitalCity(s__CopenhagenDenmark, s__Denmark) |
CountriesAndRegions.kif 844-844 |
Denmark is a capital city of copenhagen denmark |
| s__capitalCity(s__DenverColorado, s__Colorado) |
CountriesAndRegions.kif 838-838 |
Colorado is a capital city of denver colorado |
| s__capitalCity(s__HonoluluHawaii, s__Hawaii) |
CountriesAndRegions.kif 825-825 |
Hawaii is a capital city of honolulu hawaii |
| s__capitalCity(s__JerusalemIsrael, s__Israel) |
CountriesAndRegions.kif 1841-1841 |
Israel is a capital city of jerusalem israel |
| s__capitalCity(s__JerusalemPalestine, s__WestBank) |
CountriesAndRegions.kif 2985-2985 |
West bank is a capital city of Jerusalem Palestine |
| s__capitalCity(s__LondonUnitedKingdom, s__UnitedKingdom) |
CountriesAndRegions.kif 68-68 |
United kingdom is a capital city of London |
| s__capitalCity(s__MoscowRussia, s__Russia) |
CountriesAndRegions.kif 749-749 |
Russia is a capital city of moscow russia |
| s__capitalCity(s__ParisFrance, s__France) |
CountriesAndRegions.kif 56-56 |
France is a capital city of paris |
| s__capitalCity(s__ProvidenceRhodeIsland, s__RhodeIsland) |
CountriesAndRegions.kif 771-771 |
Rhode island is a capital city of providence rhode island |
| s__capitalCity(s__RichmondVirginia, s__Virginia) |
CountriesAndRegions.kif 775-775 |
Virginia is a capital city of richmond virginia |
| s__capitalCity(s__RomeItaly, s__Italy) |
CountriesAndRegions.kif 779-779 |
Italy is a capital city of rome italy |
| s__capitalCity(s__SaintPaulMinnesota, s__Minnesota) |
CountriesAndRegions.kif 786-786 |
Minnesota is a capital city of saint paul minnesota |
| s__capitalCity(s__TokyoJapan, s__Japan) |
CountriesAndRegions.kif 2395-2395 |
Japan is a capital city of tokyo japan |
| s__capitalCity(s__WarsawPoland, s__Poland) |
CountriesAndRegions.kif 802-802 |
Poland is a capital city of warsaw poland |
| s__capitalCity(s__WashingtonDCUnitedStates, s__UnitedStates) |
CountriesAndRegions.kif 1050-1050 |
United states is a capital city of washingtonDC united states |
