|
|
  Paris
|
|
|
| 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 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 | |
| (instance Paris EuropeanCity) | CountriesAndRegions.kif 54-54 | |
| (part Paris France) | CountriesAndRegions.kif 55-55 |
| appearance as argument number 2 |
|
|
| (names "Paris" Paris) | CountriesAndRegions.kif 3384-3384 | |
| (termFormat ChineseLanguage Paris "巴黎") | domainEnglishFormat.kif 44438-44438 | |
| (termFormat ChineseTraditionalLanguage Paris "巴黎") | domainEnglishFormat.kif 44437-44437 | |
| (termFormat EnglishLanguage Paris "paris") | domainEnglishFormat.kif 44436-44436 |
| consequent |
|
|
| (=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris)))) |
CountriesAndRegions.kif 59-65 |
|
|
|
