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



KB Term:  Term intersection
English Word: 

  RemainderFn

Sigma KEE - ParisFrance
ParisFrance(paris)
more pictures...

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners