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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RomanCatholicism

 Sigma KEE - RomanCatholicism
RomanCatholicism(罗马天主教)
more pictures...

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 罗马天主教 是 信仰团体 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1267-1267 罗马天主教 是 基督教 的 真正的子集

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 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教 的 member


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