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 1124-1124 | UnionOfWelshIndependents 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. | domainEnglishFormat.kif 64640-64640 |