| No TPTP formula. May not be expressible in strict first order. | People.kif 801-801 | Church e' uma sub-classe de Organizacao Religiosa |
| No TPTP formula. May not be expressible in strict first order. | People.kif 813-813 | LocalChurch e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 829-829 | AnglicanChurch e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 838-838 | AnglicanApostolicEpiscopalFreeChurch e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 841-841 | FreeChurchOfScotland e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 844-844 | FreeChurchOfEngland e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 847-847 | ScottishEpiscopalChurch e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 851-851 | BaptistChurch e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 897-897 | EvangelicalChurch e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1011-1011 | MethodistChurch e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1043-1043 | CharismaticChurch e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1122-1122 | ShaftesburySociety e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1123-1123 | CrusadersUnion e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1124-1124 | UnionOfWelshIndependents e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1125-1125 | SeventhDayAdventistChurch e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1126-1126 | ChristianUnion e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1127-1127 | EcumenicalProject e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1146-1146 | YWAM_BYFC e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1159-1159 | Adventistsamfundet e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1160-1160 | Katolskakyrkan e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1161-1161 | MissionssaellskapetBibeltrognaVaenner e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1162-1162 | Missionskyrkan e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1163-1163 | Pingstroerelsen e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1164-1164 | SvenskaAlliansmissionen e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1165-1165 | SvenskaKyrkan e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1166-1166 | Trosroerelsen e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1167-1167 | Ovrigt e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1170-1170 | PresbyterianChurch e' uma sub-classe de Church |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1179-1179 | LutheranChurch e' uma sub-classe de Church |
|
|