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

KB Term:  Term intersection
English Word: 

Sigma KEE - Pope
Pope(pope)
more pictures...		Alessandro_Farnese, Angelo_Guiseppe_Roncalli, Antonio_Pignatelli, Benedetto_Caetani, Benedetto_Odescalchi, Benedict_XIV, Benedict_XV, Bishop_of_Rome, Boniface_VIII, Calixtus_II, Catholic_Pope, Clement_III, Clement_VII, Clement_XI, Clement_XIV, Francesco_della_Rovere, Gerbert, Giacomo_della_Chiesa, Giannangelo_Braschi, Gioacchino_Pecci, Giovanni_Angelo_Braschi, Giovanni_Battista_Cibo, Giovanni_Battista_Montini, Giovanni_Francesco_Albani, Giovanni_Maria_Mastai-Ferretti, Giovanni_Mastai-Ferretti, Giovanni_Vincenzo_Pecci, Giulio_de'_Medici, Guibert_of_Ravenna, Guillaume_de_Grimoard, Guy_of_Burgundy, Holy_Father, Innocent_VIII, Innocent_XI, Innocent_XII, John_XXIII, Leo_XIII, Lorenzo_Ganganelli, Maffeo_Barberini, Martin_V, Nicholas_V, Oddone_Colonna, Paul_III, Paul_VI, Pius_IX, Pius_VI, Prospero_Lambertini, Roman_Catholic_Pope, Sixtus_IV, Sylvester_II...

appearance as argument number 1
-------------------------


(instance Pope ReligiousPosition) People.kif 1322-1322 Pope is an instance of religious position
(documentation Pope EnglishLanguage "The ReligiousPosition of head of the RomanCatholicChurch.") People.kif 1323-1323 Pope is an instance of religious position
(externalImage Pope "http://upload.wikimedia.org/wikipedia/commons/8/89/ 433px_Pope_Pius_VII.jpg") pictureList.kif 6780-6780 Pope is an instance of religious position
(externalImage Pope "http://upload.wikimedia.org/wikipedia/commons/9/91/ Popepiusix.jpg") pictureList.kif 7599-7599 Pope is an instance of religious position
(externalImage Pope "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BentoXVI-30-10052007.jpg") pictureList.kif 7600-7600 Pope is an instance of religious position
(externalImage Pope "http://upload.wikimedia.org/wikipedia/commons/c/c5/ BentoXVI-28-10052007.jpg") pictureList.kif 7601-7601 Pope is an instance of religious position
(externalImage Pope "http://upload.wikimedia.org/wikipedia/en/e/ee/GestatorialChair1.jpg") pictureList.kif 7602-7602 Pope is an instance of religious position
(externalImage Pope "http://upload.wikimedia.org/wikipedia/en/a/a7/Holysee_arms.png") pictureList.kif 7603-7603 Pope is an instance of religious position

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Pope "pope") domainEnglishFormat.kif 46626-46626
(termFormat ChineseTraditionalLanguage Pope "教皇") domainEnglishFormat.kif 46627-46627
(termFormat ChineseLanguage Pope "教皇") domainEnglishFormat.kif 46628-46628

antecedent
-------------------------


(=>
    (occupiesPosition ?H Pope RomanCatholicChurch)
    (leader RomanCatholicChurch ?H))		 People.kif 1325-1327 If X holds the position of pope in roman catholic church, then X is a leader of roman catholic church


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


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