|
|
   EvangelicalChurch
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 898-899 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 897-897 | Evangelical church is a subclass of church |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 958-958 | CYFA is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 914-914 | Christian brethren is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 945-945 | City missions is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 918-918 | Countess of Huntingdons connexion is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 901-901 | Covenant church is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 991-991 | De frie evangeliske forsamlinger is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 986-986 | Den evangelisk lutherske frikirke is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 932-932 | Evangelical fellowship of congregational churches is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 927-927 | Evangelical presbyterian church of ireland is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 969-969 | Evangeliska fosterlands stiftelsen is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 974-974 | EvangeliskaFrikyrkan is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 949-949 | Fellowship of independent evangelical churches is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 978-978 | Fraelsningsarmen is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 954-954 | Free evangelical church is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 995-995 | Frelsesarmeen is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 999-999 | Indremisjonen is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 937-937 | Moravian church is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1003-1003 | Normisjon is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1007-1007 | Norsk Luthersk misjonssamband is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 923-923 | Plymouth brethren assembly is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 982-982 | Salt and light church is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 941-941 | Salvation army mission is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 961-961 | Scripture union is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 905-905 | Svenska alliansmissionen protestant free church is a subclass of Evangelical church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 910-910 | Union of evangelical churches is a subclass of Evangelical church |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|