| AnglicanChurch(Anglican church) | | Anglican_Church, Anglican_Communion, Church_of_England |
| appearance as argument number 1 |
|
|
| (documentation AnglicanChurch EnglishLanguage "An instance of AnglicalChurch is a Church that is a subOrganization of the ChurchOfEngland.") | People.kif 857-859 | |
| (subclass AnglicanChurch Church) | People.kif 855-855 | Anglican church is a subclass of church |
| appearance as argument number 2 |
|
|
| (instance ChurchOfEngland AnglicanChurch) | People.kif 856-856 | Church of england is an instance of Anglican church |
| (termFormat EnglishLanguage AnglicanChurch "Anglican church") | domainEnglishFormat.kif 64457-64457 |
| antecedent |
|
|
| (=> (instance ?C AnglicanChurch) (subOrganization ?C ChurchOfEngland)) |
People.kif 860-862 |
|
|
|
|