No TPTP formula. May not be expressible in strict first order. | People.kif 801-801 | Church is a subclass of religious organization |
No TPTP formula. May not be expressible in strict first order. | People.kif 813-813 | Local church is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 829-829 | Anglican church is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 838-838 | Anglican Apostolic Episcopal free church is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 841-841 | Free church of Scotland is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 844-844 | Free church of England is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 847-847 | Scottish Episcopal church is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 851-851 | Baptist church is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 897-897 | Evangelical church is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1011-1011 | Methodist church is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1043-1043 | Charismatic church is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1122-1122 | Shaftesbury society is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1123-1123 | Crusaders union is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1124-1124 | Union of welsh independents is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1125-1125 | Seventh day Adventist church is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1126-1126 | Christian union is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1127-1127 | Ecumenical project is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1146-1146 | YWAM_BYFC is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1159-1159 | Adventistsamfundet is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1160-1160 | Katolskakyrkan is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1161-1161 | Missionssaellskapet bibeltrogna vaenner is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1162-1162 | Missionskyrkan is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1163-1163 | Pingstroerelsen is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1164-1164 | Svenska alliansmissionen is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1165-1165 | Svenska kyrkan is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1166-1166 | Trosroerelsen is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1167-1167 | Ovrigt is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1170-1170 | Presbyterian church is a subclass of church |
No TPTP formula. May not be expressible in strict first order. | People.kif 1179-1179 | Lutheran church is a subclass of church |