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


KB Term:  Term intersection
English Word: 

Sigma KEE - RomanCatholic
RomanCatholic(roman catholic)Roman_Catholic, papist, ultramontane

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


(instance RomanCatholic Christian) People.kif 1306-1306 Roman catholic is an instance of christian
(documentation RomanCatholic EnglishLanguage "A RomanCatholic is one who subscribes to the beliefs of RomanCatholicism.") People.kif 1307-1308 Roman catholic is an instance of christian

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


(termFormat EnglishLanguage RomanCatholic "roman catholic") domainEnglishFormat.kif 50319-50319
(termFormat ChineseTraditionalLanguage RomanCatholic "羅馬天主教徒") domainEnglishFormat.kif 50320-50320
(termFormat ChineseLanguage RomanCatholic "罗马天主教徒") domainEnglishFormat.kif 50321-50321

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


(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicism))		 People.kif 1310-1312 Roman catholic is an attribute of X if and only if X is a member of roman catholicism
(<=>
    (attribute ?INDIVIDUAL RomanCatholic)
    (member ?INDIVIDUAL RomanCatholicChurch))		 People.kif 1318-1320 Roman catholic is an attribute of X if and only if X is a member 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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners