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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RomanCatholicism
RomanCatholicism(roman catholicism)
more pictures...		Roman_Catholicism, Romanism, papism

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


No TPTP formula. May not be expressible in strict first order. People.kif 1269-1270
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6827-6827
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7741-7741
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7742-7742
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7743-7743
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7744-7744
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7745-7745
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7746-7746
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7747-7747
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7749-7749
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7750-7750
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7755-7755
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7751-7751
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7752-7752
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7753-7753
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7754-7754
No TPTP formula. May not be expressible in strict first order. People.kif 1267-1267 Roman catholicism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1268-1268 Roman catholicism is a proper sub-collection of christianity

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50369-50369
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50368-50368
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50367-50367

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


No TPTP formula. May not be expressible in strict first order. People.kif 1276-1278 Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism


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 is open source software produced by Articulate Software and its partners