No TPTP formula. May not be expressible in strict first order. |
People.kif 1188-1188 |
Adventist est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1221-1221 |
Anglican est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1194-1194 |
Baptist est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1243-1243 |
EasternOrthodoxChristian est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1191-1191 |
Episcopalian est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1200-1200 |
Lutheran est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1203-1203 |
Methodist est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1185-1185 |
Mormon est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1197-1197 |
Pentecostal est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1206-1206 |
Presbyterian est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1257-1257 |
Protestant est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1271-1271 |
RomanCatholic est une instance de Christian |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14712-14712 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14711-14711 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14710-14710 |
|