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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Anglican

 Sigma KEE - Anglican
Anglican
more pictures...

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


No TPTP formula. May not be expressible in strict first order. People.kif 1222-1223
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5853-5853
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6083-6083
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6084-6084
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6085-6085
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6086-6086
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6087-6087
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6088-6088
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6089-6089
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6090-6090
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6094-6094
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6092-6092
No TPTP formula. May not be expressible in strict first order. People.kif 1221-1221 Anglican e' uma instancia de Christian

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7488-7488
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7487-7487
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7486-7486

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


No TPTP formula. May not be expressible in strict first order. People.kif 1225-1227 Anglican e' um atributo de Objeto Objeto e' membro de Anglicanism
No TPTP formula. May not be expressible in strict first order. People.kif 1233-1235 Anglican e' um atributo de Objeto Objeto e' membro de ChurchOfEngland


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