| No TPTP formula. May not be expressible in strict first order. | People.kif 897-897 | 子類 EvangelicalChurch and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 901-901 | 子類 CovenantChurch and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 905-905 | 子類 SvenskaAlliansmissionenProtestantFreeChurch and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 910-910 | 子類 UnionOfEvangelicalChurches and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 914-914 | 子類 ChristianBrethren and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 918-918 | 子類 CountessOfHuntingdonsConnexion and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 923-923 | 子類 PlymouthBrethrenAssembly and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 927-927 | 子類 EvangelicalPresbyterianChurchOfIreland and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 932-932 | 子類 EvangelicalFellowshipOfCongregationalChurches and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 937-937 | 子類 MoravianChurch and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 941-941 | 子類 SalvationArmyMission and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 945-945 | 子類 CityMissions and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 949-949 | 子類 FellowshipOfIndependentEvangelicalChurches and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 954-954 | 子類 FreeEvangelicalChurch and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 958-958 | 子類 CYFA and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 961-961 | 子類 ScriptureUnion and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 965-965 | 子類 WomensAglowGroup and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 969-969 | 子類 EvangeliskaFosterlandsStiftelsen and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 974-974 | 子類 EvangeliskaFrikyrkan and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 978-978 | 子類 Fraelsningsarmen and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 982-982 | 子類 SaltAndLightChurch and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 986-986 | 子類 DenEvangeliskLutherskeFrikirke and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 991-991 | 子類 DeFrieEvangeliskeForsamlinger and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 995-995 | 子類 Frelsesarmeen and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 999-999 | 子類 Indremisjonen and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1003-1003 | 子類 Normisjon and EvangelicalChurch |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1007-1007 | 子類 NorskLutherskMisjonssamband and EvangelicalChurch |
|
|