Church(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 1124-1124 | Union of welsh independents 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. | domainEnglishFormat.kif 64638-64638 |