Shanghai(Shanghai) |
appearance as argument number 1 |
(geopoliticalSubdivision Shanghai China) | CountriesAndRegions.kif 4251-4251 | Shanghai is a geopolitical part of china |
(instance Shanghai City) | CountriesAndRegions.kif 4250-4250 | Shanghai is an instance of city |
appearance as argument number 2 |
(termFormat EnglishLanguage Shanghai "Shanghai") | CountriesAndRegions.kif 4252-4252 |