more pictures...| ParisFrance(paris)
more pictures... |
| appearance as argument number 1 |
|
| (capitalCity ParisFrance France) | CountriesAndRegions.kif 56-56 | France is a capital city of paris |
| (documentation ParisFrance EnglishLanguage "The capital of France and the largest City of the country.") | CountriesAndRegions.kif 57-57 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ 1/ 16/ Jardin_du_Luxembourg.JPG") | pictureList.kif 4226-4226 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ 1/ 19/ Arc_De_Triumph_Flag.jpg") | pictureList.kif 4222-4222 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ 2/ 20/ Paris_metro3_-_Bourse_-_entrance.jpg") | pictureList.kif 4224-4224 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ France_jms.png") | pictureList.kif 1000-1000 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Aftnn_The_Seine_from_the_Eiffel_Tower.jpg") | pictureList.kif 4220-4220 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ 3/ 35/ GD_FR_Paris_Grand_Palais.jpg") | pictureList.kif 4221-4221 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Louvre_Aile_Richelieu.jpg") | pictureList.kif 4229-4229 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ La_Defense_dsc07138.jpg") | pictureList.kif 4232-4232 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Tour_eiffel_at_sunrise_from_the_trocadero.jpg") | pictureList.kif 4219-4219 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Sacre_coeur_paris.jpg") | pictureList.kif 4225-4225 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ DSC00733_Notre_Dame_Paris_from_east.jpg") | pictureList.kif 4228-4228 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ e/ ea/ Paris_2_%28night%29.JPG") | pictureList.kif 4790-4790 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ e/ ee/ Fontaine_place_de_la_concorde_paris.jpg") | pictureList.kif 4223-4223 | France is a capital city of paris |
| (externalImage ParisFrance "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Sorbona_in_snow.jpg") | pictureList.kif 4231-4231 | France is a capital city of paris |
| (instance ParisFrance EuropeanCity) | CountriesAndRegions.kif 54-54 | Paris is an instance of european city |
| (part ParisFrance France) | CountriesAndRegions.kif 55-55 | Paris is a part of france |
| appearance as argument number 2 |
|
|
| (names "Paris" ParisFrance) | CountriesAndRegions.kif 3381-3381 | Paris has &ames$"name" "Paris" |
| (termFormat ChineseLanguage ParisFrance "巴黎") | domainEnglishFormat.kif 44438-44438 | Paris has &ames$"name" "Paris" |
| (termFormat ChineseTraditionalLanguage ParisFrance "巴黎") | domainEnglishFormat.kif 44437-44437 | Paris has &ames$"name" "Paris" |
| (termFormat EnglishLanguage ParisFrance "paris") | domainEnglishFormat.kif 44436-44436 | Paris has &ames$"name" "Paris" |
| consequent |
|
|
| (=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn ParisFrance)))) |
CountriesAndRegions.kif 59-65 |
|
|
|
|