| Church | |
| 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 是 宗教机构 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1154-1154 | ChurchOfJesusChristOfLatterDaySaints 是 Church 的 instance |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1159-1159 | Adventistsamfundet 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 838-838 | AnglicanApostolicEpiscopalFreeChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 829-829 | AnglicanChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 851-851 | BaptistChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1043-1043 | CharismaticChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1126-1126 | ChristianUnion 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1123-1123 | CrusadersUnion 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1127-1127 | EcumenicalProject 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 897-897 | EvangelicalChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 844-844 | FreeChurchOfEngland 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 841-841 | FreeChurchOfScotland 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1160-1160 | Katolskakyrkan 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 813-813 | LocalChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1179-1179 | LutheranChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1011-1011 | MethodistChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1162-1162 | Missionskyrkan 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1161-1161 | MissionssaellskapetBibeltrognaVaenner 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1167-1167 | Ovrigt 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1163-1163 | Pingstroerelsen 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1170-1170 | PresbyterianChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 847-847 | ScottishEpiscopalChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1125-1125 | SeventhDayAdventistChurch 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1122-1122 | ShaftesburySociety 是 Church 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1164-1164 | SvenskaAlliansmissionen 是 Church 的 subclass |
| 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 |
|
|
|