| Church(church) | | Christendom, Christianity |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 802-804 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 801-801 | Church is a subclass of religious organization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1154-1154 | Church of Jesus Christ of latter day saints is an instance of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1159-1159 | Adventistsamfundet is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 838-838 | Anglican Apostolic Episcopal free church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 829-829 | Anglican church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 851-851 | Baptist church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1043-1043 | Charismatic church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1126-1126 | Christian union is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1123-1123 | Crusaders union is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1127-1127 | Ecumenical project is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 897-897 | Evangelical church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 844-844 | Free church of England is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 841-841 | Free church of Scotland is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1160-1160 | Katolskakyrkan is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 813-813 | Local church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1179-1179 | Lutheran church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1011-1011 | Methodist church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1162-1162 | Missionskyrkan is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1161-1161 | Missionssaellskapet bibeltrogna vaenner is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1167-1167 | Ovrigt is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1163-1163 | Pingstroerelsen is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1170-1170 | Presbyterian church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 847-847 | Scottish Episcopal church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1125-1125 | Seventh day Adventist church is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1122-1122 | Shaftesbury society is a subclass of church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1164-1164 | Svenska alliansmissionen is a subclass of church |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 805-811 |
|
|
|
|