more pictures...
| NewYorkCityUnitedStates(new york city united states)
more pictures... | | Greater_New_York, New_York, New_York_City |
| 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 | New york city united states is a geographic subregion of united states |
| (instance NewYorkCityUnitedStates AmericanCity) | CountriesAndRegions.kif 2128-2128 | New york city united states is an instance of american city |
| appearance as argument number 2 |
|
|
| (headquartersOfOrganization ProPublica NewYorkCityUnitedStates) | Medicine.kif 4586-4586 | The headquarters of Pro Publica Inc. is in new york city united states |
| (names "New York City" NewYorkCityUnitedStates) | CountriesAndRegions.kif 3307-3307 | New york city united states has name "New York City" |
| (termFormat ChineseLanguage NewYorkCityUnitedStates "纽约市美国") | domainEnglishFormat.kif 40445-40445 | New york city united states has name "New York City" |
| (termFormat ChineseTraditionalLanguage NewYorkCityUnitedStates "紐約市美國") | domainEnglishFormat.kif 40444-40444 | New york city united states has name "New York City" |
| (termFormat EnglishLanguage NewYorkCityUnitedStates "new york city united states") | domainEnglishFormat.kif 40443-40443 | New york city united states has name "New York City" |
| consequent |
|
|
| (=> (instance ?CITY AmericanCity) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn NewYorkCityUnitedStates)))) |
CountriesAndRegions.kif 2131-2135 |
|
|
|
|