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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Paris

Sigma KEE - Paris
Paris(巴黎)
more pictures...

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


(capitalCity Paris France) CountriesAndRegions.kif 56-56 法国巴黎capital 城市
(documentation Paris EnglishLanguage "The capital of France and the largest City of the country.") CountriesAndRegions.kif 57-57
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/1/16/ Jardin_du_Luxembourg.JPG") pictureList.kif 4227-4227
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/1/19/ Arc_De_Triumph_Flag.jpg") pictureList.kif 4223-4223
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/2/20/ Paris_metro3_-_Bourse_-_entrance.jpg") pictureList.kif 4225-4225
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/2/2f/ France_jms.png") pictureList.kif 1000-1000
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/34/ Aftnn_The_Seine_from_the_Eiffel_Tower.jpg") pictureList.kif 4221-4221
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/35/ GD-FR-Paris-Grand_Palais.jpg") pictureList.kif 4222-4222
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/38/ Louvre_Aile_Richelieu.jpg") pictureList.kif 4230-4230
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/39/ La_Defense_dsc07138.jpg") pictureList.kif 4233-4233
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/a/af/ Tour_eiffel_at_sunrise_from_the_trocadero.jpg") pictureList.kif 4220-4220
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Sacre-coeur-paris.jpg") pictureList.kif 4226-4226
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/d/d2/ DSC00733_Notre_Dame_Paris_from_east.jpg") pictureList.kif 4229-4229
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/e/ea/ Paris_2_%28night%29.JPG") pictureList.kif 4791-4791
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Fontaine-place-de-la-concorde-paris.jpg") pictureList.kif 4224-4224
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Sorbona_in_snow.jpg") pictureList.kif 4232-4232
(geographicSubregion Paris France) CountriesAndRegions.kif 3383-3383 巴黎法国geographic 次要地区
(instance Paris EuropeanCity) CountriesAndRegions.kif 54-54 巴黎欧洲城市instance
(part Paris France) CountriesAndRegions.kif 55-55 巴黎法国part

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


(names "Paris" Paris) CountriesAndRegions.kif 3384-3384 巴黎 的名 是 "Paris"
(termFormat ChineseLanguage Paris "巴黎") domainEnglishFormat.kif 44436-44436
(termFormat ChineseTraditionalLanguage Paris "巴黎") domainEnglishFormat.kif 44435-44435
(termFormat EnglishLanguage Paris "paris") domainEnglishFormat.kif 44434-44434

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


(=>
    (and
        (instance ?CITY City)
        (part ?CITY France))
    (lessThanOrEqualTo
        (CardinalityFn
            (ResidentFn ?CITY))
        (CardinalityFn
            (ResidentFn Paris))))
CountriesAndRegions.kif 59-65


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 is open source software produced by Articulate Software and its partners