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