| No TPTP formula. May not be expressible in strict first order. | People.kif 801-801 | 子類 Church and ReligiousOrganization |
| No TPTP formula. May not be expressible in strict first order. | People.kif 813-813 | 子類 LocalChurch and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 829-829 | 子類 AnglicanChurch and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 838-838 | 子類 AnglicanApostolicEpiscopalFreeChurch and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 841-841 | 子類 FreeChurchOfScotland and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 844-844 | 子類 FreeChurchOfEngland and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 847-847 | 子類 ScottishEpiscopalChurch and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 851-851 | 子類 BaptistChurch and Church |
| 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 1011-1011 | 子類 MethodistChurch and Church |
| 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 1122-1122 | 子類 ShaftesburySociety and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1123-1123 | 子類 CrusadersUnion and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1124-1124 | 子類 UnionOfWelshIndependents and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1125-1125 | 子類 SeventhDayAdventistChurch and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1126-1126 | 子類 ChristianUnion and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1127-1127 | 子類 EcumenicalProject and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1146-1146 | 子類 YWAM_BYFC and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1159-1159 | 子類 Adventistsamfundet and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1160-1160 | 子類 Katolskakyrkan and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1161-1161 | 子類 MissionssaellskapetBibeltrognaVaenner and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1162-1162 | 子類 Missionskyrkan and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1163-1163 | 子類 Pingstroerelsen and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1164-1164 | 子類 SvenskaAlliansmissionen and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1165-1165 | 子類 SvenskaKyrkan and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1166-1166 | 子類 Trosroerelsen and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1167-1167 | 子類 Ovrigt and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1170-1170 | 子類 PresbyterianChurch and Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1179-1179 | 子類 LutheranChurch and Church |
|
|