Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  RemainderFn
|
|
|
| appearance as argument number 1 |
|
|
| (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 |
| (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/ 2/ 2f/ France_jms.png") | pictureList.kif 1000-1000 | 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ 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/ f/ f3/ Sorbona_in_snow.jpg") | pictureList.kif 4231-4231 | 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/ e/ ea/ Paris_2_%28night%29.JPG") | pictureList.kif 4790-4790 | France is a capital city of paris |
| appearance as argument number 2 |
|
|
| (names "Paris" ParisFrance) | CountriesAndRegions.kif 3386-3386 | Paris has name "Paris" |
| (termFormat EnglishLanguage ParisFrance "paris") | domainEnglishFormat.kif 44429-44429 | Paris has name "Paris" |
| (termFormat ChineseTraditionalLanguage ParisFrance "巴黎") | domainEnglishFormat.kif 44430-44430 | Paris has name "Paris" |
| (termFormat ChineseLanguage ParisFrance "巴黎") | domainEnglishFormat.kif 44431-44431 | Paris has name "Paris" |
| consequent |
|
|
| (=> (and (instance ?CITY City) (part ?CITY France)) (lessThanOrEqualTo (CardinalityFn (ResidentFn ?CITY)) (CardinalityFn (ResidentFn ParisFrance)))) |
CountriesAndRegions.kif 59-65 | If X is an instance of city and X is a part of france, then the number of instances in the resident of X is less than or equal to the number of instances in the resident of paris |
|
