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 1223-1224
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5852-5852
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6082-6082
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 6093-6093
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6091-6091
No TPTP formula. May not be expressible in strict first order. People.kif 1222-1222 Anglican is an instance of christian

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7495-7495
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7494-7494
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7493-7493

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


No TPTP formula. May not be expressible in strict first order. People.kif 1226-1228 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 1234-1236 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