Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  NewYorkCityUnitedStates

 Sigma KEE - NewYorkCityUnitedStates
NewYorkCityUnitedStates(new york city united states)
more pictures...		Greater_New_York, New_York, New_York_City

appearance as argument number 1
-------------------------


(geographicSubregion NewYorkCityUnitedStates UnitedStates) CountriesAndRegions.kif 1057-1057 New york city united states is a geographic subregion of united states
(instance NewYorkCityUnitedStates AmericanCity) CountriesAndRegions.kif 2132-2132 New york city united states is an instance of american city
(documentation NewYorkCityUnitedStates EnglishLanguage "The largest City in the UnitedStates. A worldwide center of finance and culture, it is comprised of five boroughs.") CountriesAndRegions.kif 2133-2134 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 13/ New_York_City_Hall.jpg") pictureList.kif 6726-6726 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Federal_Hall_NYC_28.JPG") pictureList.kif 7420-7420 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 34/ Bedstuybrownstone1.jpg") pictureList.kif 7421-7421 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Metropolitan_Opera_auditorium.jpg") pictureList.kif 7422-7422 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Aster_newyorkcity_lrg.jpg") pictureList.kif 7423-7423 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 76/ Fordham_University_Keating_Hall.JPG") pictureList.kif 7424-7424 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ NYC_wideangle_south_from_Top_of_the_Rock.jpg") pictureList.kif 7425-7425 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Flag_of_Johannesburg.jpg") pictureList.kif 7426-7426 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Top_of_Rock_Cropped.jpg") pictureList.kif 7427-7427 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ a/ a2/ Manhattan_from_helicopter.jpg") pictureList.kif 7428-7428 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ c/ c9/ Times_Square_New_York_City_FLIKR_3.jpg") pictureList.kif 7429-7429 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") pictureList.kif 7430-7430 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ d/ d6/ Jfkairport.jpg") pictureList.kif 7431-7431 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Largeviewtimessquare.jpg") pictureList.kif 7432-7432 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ en/ e/ ee/ MSGIV.jpg") pictureList.kif 7437-7437 New york city united states is an instance of american city
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ a/ ae/ Flag_of_Budapest.png") pictureList.kif 7439-7439 New york city united states is an instance of american city

appearance as argument number 2
-------------------------


(names "New York City" NewYorkCityUnitedStates) CountriesAndRegions.kif 3310-3310 New york city united states has name "New York City"
(headquartersOfOrganization ProPublica NewYorkCityUnitedStates) Medicine.kif 4607-4607 The headquarters of Pro Publica Inc. is in new york city united states
(termFormat EnglishLanguage NewYorkCityUnitedStates "new york city united states") domainEnglishFormat.kif 40411-40411 The headquarters of Pro Publica Inc. is in new york city united states
(termFormat ChineseTraditionalLanguage NewYorkCityUnitedStates "紐約市美國") domainEnglishFormat.kif 40412-40412 The headquarters of Pro Publica Inc. is in new york city united states
(termFormat ChineseLanguage NewYorkCityUnitedStates "纽约市美国") domainEnglishFormat.kif 40413-40413 The headquarters of Pro Publica Inc. is in new york city united states

consequent
-------------------------


(=>
    (instance ?CITY AmericanCity)
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn NewYorkCityUnitedStates))))		 CountriesAndRegions.kif 2135-2139 If X is an instance of american city, then the number of instances in the resident of X is less than or equal to the number of instances in the resident of new york city united states


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners