No TPTP formula. May not be expressible in strict first order. |
People.kif 1165-1165 |
子類 SvenskaKyrkan and Church |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1166-1166 |
子類 Trosroerelsen and Church |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1124-1124 |
子類 UnionOfWelshIndependents and Church |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1146-1146 |
子類 YWAM_BYFC and Church |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64638-64638 |
|