| BaptistChurch(Baptist church) | | Baptist_Church, Baptists |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 852-852 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 851-851 | Baptist church is a subclass of church |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 879-879 | Baptist union of gB is a subclass of Baptist church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 854-854 | Baptist union of ireland is a subclass of Baptist church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 858-858 | Baptist union of scotland is a subclass of Baptist church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 862-862 | Baptist union of wales is a subclass of Baptist church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 883-883 | Baptistsamfundet is a subclass of Baptist church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 887-887 | Det norske baptistsamfunn is a subclass of Baptist church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 866-866 | Gospel standard strict baptist church is a subclass of Baptist church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 871-871 | Grace Baptist Assembly is a subclass of Baptist church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 875-875 | Old Baptist union church is a subclass of Baptist church |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64513-64513 |
|
|
|