more pictures...
| Paris(paris)
more pictures... | | City_of_Light, French_capital, Paris, capital_of_France |
| appearance as argument number 1 |
|
|
| (capitalCity Paris France) | CountriesAndRegions.kif 56-56 | France is a capital city of paris |
| (documentation Paris EnglishLanguage "The capital of France and the largest City of the country.") | CountriesAndRegions.kif 57-57 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/1/16/ Jardin_du_Luxembourg.JPG") | pictureList.kif 4227-4227 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/1/19/ Arc_De_Triumph_Flag.jpg") | pictureList.kif 4223-4223 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/2/20/ Paris_metro3_-_Bourse_-_entrance.jpg") | pictureList.kif 4225-4225 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/2/2f/ France_jms.png") | pictureList.kif 1000-1000 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/34/ Aftnn_The_Seine_from_the_Eiffel_Tower.jpg") | pictureList.kif 4221-4221 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/35/ GD-FR-Paris-Grand_Palais.jpg") | pictureList.kif 4222-4222 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/38/ Louvre_Aile_Richelieu.jpg") | pictureList.kif 4230-4230 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/3/39/ La_Defense_dsc07138.jpg") | pictureList.kif 4233-4233 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/a/af/ Tour_eiffel_at_sunrise_from_the_trocadero.jpg") | pictureList.kif 4220-4220 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Sacre-coeur-paris.jpg") | pictureList.kif 4226-4226 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/d/d2/ DSC00733_Notre_Dame_Paris_from_east.jpg") | pictureList.kif 4229-4229 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/e/ea/ Paris_2_%28night%29.JPG") | pictureList.kif 4791-4791 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/e/ee/ Fontaine-place-de-la-concorde-paris.jpg") | pictureList.kif 4224-4224 | France is a capital city of paris |
| (externalImage Paris "http://upload.wikimedia.org/wikipedia/commons/f/f3/ Sorbona_in_snow.jpg") | pictureList.kif 4232-4232 | France is a capital city of paris |
| (geographicSubregion Paris France) | CountriesAndRegions.kif 3383-3383 | Paris is a geographic subregion of france |
| (instance Paris EuropeanCity) | CountriesAndRegions.kif 54-54 | Paris is an instance of european city |
| (part Paris France) | CountriesAndRegions.kif 55-55 | Paris is a part of france |
| appearance as argument number 2 |
|
|
| (names "Paris" Paris) | CountriesAndRegions.kif 3384-3384 | Paris has name "Paris" |
| (termFormat ChineseLanguage Paris "巴黎") | domainEnglishFormat.kif 44474-44474 | Paris has name "Paris" |
| (termFormat ChineseTraditionalLanguage Paris "巴黎") | domainEnglishFormat.kif 44473-44473 | Paris has name "Paris" |
| (termFormat EnglishLanguage Paris "paris") | domainEnglishFormat.kif 44472-44472 | Paris has name "Paris" |
| consequent |
|
|
| (=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn Paris)))) |
CountriesAndRegions.kif 59-65 |
|
|
|
|