TreeView Knowledge Base Browser - Anglican

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...

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 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