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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RomanCatholicChurch
RomanCatholicChurch(roman catholic church)
Catholic, Church_of_Rome, Roman_Catholic, Roman_Catholic_Church, Roman_Church, Western_Church, roman_catholic_church

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


(documentation RomanCatholicChurch EnglishLanguage "The RomanCatholicChurch is the ReligiousOrganization that promulgates RomanCatholicism.") People.kif 1282-1283
(externalImage RomanCatholicChurch "http://upload.wikimedia.org/wikipedia/ commons/ a/ a9/ Emblem_of_the_Papacy.svg") pictureList.kif 4810-4810 "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Emblem_of_the_Papacy.svg" is a URL depicting roman catholic church
(instance RomanCatholicChurch ReligiousOrganization) People.kif 1281-1281 Roman catholic church is an instance of religious organization

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


(termFormat EnglishLanguage RomanCatholicChurch "roman catholic church") domainEnglishFormat.kif 8812-8812 "roman catholic church" is the printable form of roman catholic church in english language

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


(=>
    (occupiesPosition ?H Pope RomanCatholicChurch)
    (leader RomanCatholicChurch ?H))
People.kif 1292-1294

consequent
-------------------------


(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))
People.kif 1285-1287 Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church
(=>
    (instance ?C LocalRomanCatholicChurch)
    (subOrganization ?C RomanCatholicChurch))
People.kif 895-897
(=>
    (occupiesPosition ?H Pope RomanCatholicChurch)
    (leader RomanCatholicChurch ?H))
People.kif 1292-1294


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners