more pictures...
| NewYorkCityUnitedStates(紐約市美國)
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation NewYorkCityUnitedStates EnglishLanguage "The largest City in the UnitedStates. A worldwide center of finance and culture, it is comprised of five boroughs.") | CountriesAndRegions.kif 2129-2130 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 13/ New_York_City_Hall.jpg") | pictureList.kif 6727-6727 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Federal_Hall_NYC_28.JPG") | pictureList.kif 7421-7421 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 34/ Bedstuybrownstone1.jpg") | pictureList.kif 7422-7422 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Metropolitan_Opera_auditorium.jpg") | pictureList.kif 7423-7423 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Aster_newyorkcity_lrg.jpg") | pictureList.kif 7424-7424 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 76/ Fordham_University_Keating_Hall.JPG") | pictureList.kif 7425-7425 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ NYC_wideangle_south_from_Top_of_the_Rock.jpg") | pictureList.kif 7426-7426 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Flag_of_Johannesburg.jpg") | pictureList.kif 7427-7427 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Top_of_Rock_Cropped.jpg") | pictureList.kif 7428-7428 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ a/ a2/ Manhattan_from_helicopter.jpg") | pictureList.kif 7429-7429 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ a/ ae/ Flag_of_Budapest.png") | pictureList.kif 7440-7440 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ c/ c9/ Times_Square_New_York_City_FLIKR_3.jpg") | pictureList.kif 7430-7430 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") | pictureList.kif 7431-7431 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ d/ d6/ Jfkairport.jpg") | pictureList.kif 7432-7432 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Largeviewtimessquare.jpg") | pictureList.kif 7433-7433 | |
| (externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ en/ e/ ee/ MSGIV.jpg") | pictureList.kif 7438-7438 | |
| (geographicSubregion NewYorkCityUnitedStates UnitedStates) | CountriesAndRegions.kif 1057-1057 | 紐約市美國 是 美國 的 geographic 次要地區 |
| (instance NewYorkCityUnitedStates AmericanCity) | CountriesAndRegions.kif 2128-2128 | 例 紐約市美國 and 美國城市 |
| appearance as argument number 2 |
|
|
| (headquartersOfOrganization ProPublica NewYorkCityUnitedStates) | Medicine.kif 4586-4586 | ProPublica 的 headquarters 是在 紐約市美國 |
| (names "New York City" NewYorkCityUnitedStates) | CountriesAndRegions.kif 3307-3307 | 名 "New York City" and 紐約市美國 |
| (termFormat ChineseLanguage NewYorkCityUnitedStates "纽约市美国") | domainEnglishFormat.kif 40407-40407 | |
| (termFormat ChineseTraditionalLanguage NewYorkCityUnitedStates "紐約市美國") | domainEnglishFormat.kif 40406-40406 | |
| (termFormat EnglishLanguage NewYorkCityUnitedStates "new york city united states") | domainEnglishFormat.kif 40405-40405 |
| consequent |
|
|
| (=> (instance ?CITY AmericanCity) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn NewYorkCityUnitedStates)))) |
CountriesAndRegions.kif 2131-2135 |
|
|
|
|