| ChurchOfEngland(church of england)
| | Church_of_Ireland |
| appearance as argument number 1 |
|
|
| (documentation ChurchOfEngland EnglishLanguage "The ChurchOfEngland is the ReligiousOrganization that promulgates Anglicanism.") | People.kif 1230-1231 | |
| (externalImage ChurchOfEngland "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Anglican_Communion_Compass_Rose.jpg") | pictureList.kif 4605-4605 | |
| (instance ChurchOfEngland AnglicanChurch) | People.kif 830-830 | Church of england is an instance of Anglican church |
| (instance ChurchOfEngland ReligiousOrganization) | People.kif 1229-1229 | Church of england is an instance of religious organization |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ChurchOfEngland "英格兰教堂") | domainEnglishFormat.kif 14836-14836 | |
| (termFormat ChineseTraditionalLanguage ChurchOfEngland "英格蘭教堂") | domainEnglishFormat.kif 14835-14835 | |
| (termFormat EnglishLanguage ChurchOfEngland "church of england") | domainEnglishFormat.kif 14834-14834 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1233-1235 | Anglican is an attribute of an object if and only if the object is a member of church of england |
| (=> (instance ?C AnglicanChurch) (subOrganization ?C ChurchOfEngland)) |
People.kif 834-836 |
|
|
|
|