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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paris
Paris
more pictures...

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


(capitalCity Paris France) CountriesAndRegions.kif 56-56
(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 4228-4228
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/1/19/ Arc_De_Triumph_Flag.jpg") pictureList.kif 4224-4224
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/2/20/ Paris_metro3_-_Bourse_-_entrance.jpg") pictureList.kif 4226-4226
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/2/2f/ France_jms.png") pictureList.kif 1001-1001
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/34/ Aftnn_The_Seine_from_the_Eiffel_Tower.jpg") pictureList.kif 4222-4222
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/35/ GD-FR-Paris-Grand_Palais.jpg") pictureList.kif 4223-4223
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/38/ Louvre_Aile_Richelieu.jpg") pictureList.kif 4231-4231
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/39/ La_Defense_dsc07138.jpg") pictureList.kif 4234-4234
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/a/af/ Tour_eiffel_at_sunrise_from_the_trocadero.jpg") pictureList.kif 4221-4221
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Sacre-coeur-paris.jpg") pictureList.kif 4227-4227
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/d/d2/ DSC00733_Notre_Dame_Paris_from_east.jpg") pictureList.kif 4230-4230
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/e/ea/ Paris_2_%28night%29.JPG") pictureList.kif 4792-4792
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Fontaine-place-de-la-concorde-paris.jpg") pictureList.kif 4225-4225
(externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Sorbona_in_snow.jpg") pictureList.kif 4233-4233
(geographicSubregion Paris France) CountriesAndRegions.kif 3384-3384
(instance Paris EuropeanCity) CountriesAndRegions.kif 54-54
(part Paris France) CountriesAndRegions.kif 55-55

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


(names "Paris" Paris) CountriesAndRegions.kif 3385-3385
(termFormat ChineseLanguage Paris "巴黎") domainEnglishFormat.kif 44425-44425
(termFormat ChineseTraditionalLanguage Paris "巴黎") domainEnglishFormat.kif 44424-44424
(termFormat EnglishLanguage Paris "paris") domainEnglishFormat.kif 44423-44423

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


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


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