![]() |
![]() ![]() ![]()
|
![]() |
|
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 | 子類 BaptistChurch and Church |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | People.kif 879-879 | 子類 BaptistUnionOfGB and BaptistChurch |
No TPTP formula. May not be expressible in strict first order. | People.kif 854-854 | 子類 BaptistUnionOfIreland and BaptistChurch |
No TPTP formula. May not be expressible in strict first order. | People.kif 858-858 | 子類 BaptistUnionOfScotland and BaptistChurch |
No TPTP formula. May not be expressible in strict first order. | People.kif 862-862 | 子類 BaptistUnionOfWales and BaptistChurch |
No TPTP formula. May not be expressible in strict first order. | People.kif 883-883 | 子類 Baptistsamfundet and BaptistChurch |
No TPTP formula. May not be expressible in strict first order. | People.kif 887-887 | 子類 DetNorskeBaptistsamfunn and BaptistChurch |
No TPTP formula. May not be expressible in strict first order. | People.kif 866-866 | 子類 GospelStandardStrictBaptistChurch and BaptistChurch |
No TPTP formula. May not be expressible in strict first order. | People.kif 871-871 | 子類 GraceBaptistAssembly and BaptistChurch |
No TPTP formula. May not be expressible in strict first order. | People.kif 875-875 | 子類 OldBaptistUnionChurch and BaptistChurch |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64513-64513 |
![]() |
![]() |