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