| No TPTP formula. May not be expressible in strict first order. | People.kif 1043-1043 | 子類 CharismaticChurch and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1047-1047 | 子類 AssembliesOfGod and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1051-1051 | 子類 VineyardChurch and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1055-1055 | 子類 ChurchOfTheNazarene and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1059-1059 | 子類 NewTestamentChurchOfGod and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1063-1063 | 子類 ChurchOfGodOfProphecy and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1067-1067 | 子類 FellowshipOfChurchesOfChrist and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1071-1071 | 子類 NewApostolicChurch and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1075-1075 | 子類 JesusFellowship and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1079-1079 | 子類 NewFrontiersInternationalChurch and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1085-1085 | 子類 HouseChurch and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1091-1091 | 子類 CommunityChurch and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1095-1095 | 子類 PentecostalChurch and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1099-1099 | 子類 ApostolicChurch and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1104-1104 | 子類 ElimPentecostalChurch and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1108-1108 | 子類 FGBMFI and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1112-1112 | 子類 RedeemedChristianChurchOfGod and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1116-1116 | 子類 ApostoliskChurch and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1120-1120 | 子類 Pinsebevegelsen and CharismaticChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1121-1121 | 子類 Pinsemenighet and CharismaticChurch |
|
|