| ChurchOfEngland(church of england)
| | Church_of_Ireland |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1231-1232 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4604-4604 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 830-830 | Church of england is an instance of Anglican church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1230-1230 | Church of england is an instance of religious organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14835-14835 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14834-14834 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14833-14833 |
| consequent |
|
|
| 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 |
| No TPTP formula. May not be expressible in strict first order. | People.kif 834-836 |
|
|
|
|