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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Anglican
Anglican(anglican)
more pictures...
Anglican

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 is an instance of 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 is an attribute of an object if and only if the object is a member of anglicanism
No TPTP formula. May not be expressible in strict first order. People.kif 1233-1235 Anglican is an attribute of an object if and only if the object is a member of church of england


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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