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 6728-6728
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Federal_Hall_NYC_28.JPG") pictureList.kif 7423-7423
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 34/ Bedstuybrownstone1.jpg") pictureList.kif 7424-7424
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ Metropolitan_Opera_auditorium.jpg") pictureList.kif 7425-7425
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Aster_newyorkcity_lrg.jpg") pictureList.kif 7426-7426
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 76/ Fordham_University_Keating_Hall.JPG") pictureList.kif 7427-7427
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ NYC_wideangle_south_from_Top_of_the_Rock.jpg") pictureList.kif 7428-7428
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 85/ Flag_of_Johannesburg.jpg") pictureList.kif 7429-7429
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 94/ Top_of_Rock_Cropped.jpg") pictureList.kif 7430-7430
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ a/ a2/ Manhattan_from_helicopter.jpg") pictureList.kif 7431-7431
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ a/ ae/ Flag_of_Budapest.png") pictureList.kif 7442-7442
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ c/ c9/ Times_Square_New_York_City_FLIKR_3.jpg") pictureList.kif 7432-7432
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ d/ d2/ Manhattan_at_Dusk_by_slonecker.jpg") pictureList.kif 7433-7433
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ d/ d6/ Jfkairport.jpg") pictureList.kif 7434-7434
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Largeviewtimessquare.jpg") pictureList.kif 7435-7435
(externalImage NewYorkCityUnitedStates "http://upload.wikimedia.org/wikipedia/ en/ e/ ee/ MSGIV.jpg") pictureList.kif 7440-7440
(geographicSubregion NewYorkCityUnitedStates UnitedStates) CountriesAndRegions.kif 1057-1057
(instance NewYorkCityUnitedStates AmericanCity) CountriesAndRegions.kif 2128-2128

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


(names "New York City" NewYorkCityUnitedStates) CountriesAndRegions.kif 3308-3308
(termFormat ChineseLanguage NewYorkCityUnitedStates "纽约市美国") domainEnglishFormat.kif 40399-40399
(termFormat ChineseTraditionalLanguage NewYorkCityUnitedStates "紐約市美國") domainEnglishFormat.kif 40398-40398
(termFormat EnglishLanguage NewYorkCityUnitedStates "new york city united states") domainEnglishFormat.kif 40397-40397

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