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