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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RomanCatholicism

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 1268-1269
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6828-6828
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 7748-7748
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 7751-7751
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7756-7756
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. pictureList.kif 7755-7755
No TPTP formula. May not be expressible in strict first order. People.kif 1266-1266 Roman catholicism is an instance of belief group
No TPTP formula. May not be expressible in strict first order. People.kif 1267-1267 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 50336-50336
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50335-50335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50334-50334

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


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


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