| 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 831-833 | |
| (subclass AnglicanChurch Church) | People.kif 829-829 | Anglican church is a subclass of church |
| appearance as argument number 2 |
|
|
| (instance ChurchOfEngland AnglicanChurch) | People.kif 830-830 | Church of england is an instance of Anglican church |
| (termFormat EnglishLanguage AnglicanChurch "Anglican church") | domainEnglishFormat.kif 64493-64493 | Church of england is an instance of Anglican church |
| antecedent |
|
|
| (=> (instance ?C AnglicanChurch) (subOrganization ?C ChurchOfEngland)) |
People.kif 834-836 |
|
|
|
|