BaptistChurch
|
|
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 64515-64515 |