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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Piedmont
  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 RomanCatholicism e' uma instancia de BeliefGroup
No TPTP formula. May not be expressible in strict first order. People.kif 1267-1267 RomanCatholicism e' uma sub-colecao de 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 RomanCatholic e' um atributo de Objeto Objeto e' membro de RomanCatholicism


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