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 例 英國國教 and 基督教

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 Object and 英國國教 會員 Object and 英國國教
No TPTP formula. May not be expressible in strict first order. People.kif 1233-1235 attribute Object and 英國國教 會員 Object and 英格蘭教堂


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