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 英国国教 是 基督教 的 instance

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 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英国国教 的 member
No TPTP formula. May not be expressible in strict first order. People.kif 1233-1235 英国国教 是 客体 的 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