Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NewYorkCityUnitedStates
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
(instance NewYorkCityUnitedStates AmericanCity) CountriesAndRegions.kif 2128-2128

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


(headquartersOfOrganization ProPublica NewYorkCityUnitedStates) Medicine.kif 4586-4586
(names "New York City" NewYorkCityUnitedStates) CountriesAndRegions.kif 3307-3307
(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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners