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