No TPTP formula. May not be expressible in strict first order. |
People.kif 1188-1188 |
Adventist e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1221-1221 |
Anglican e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1194-1194 |
Baptist e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1243-1243 |
EasternOrthodoxChristian e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1191-1191 |
Episcopalian e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1200-1200 |
Lutheran e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1203-1203 |
Methodist e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1185-1185 |
Mormon e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1197-1197 |
Pentecostal e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1206-1206 |
Presbyterian e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1257-1257 |
Protestant e' uma instancia de Christian |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1271-1271 |
RomanCatholic e' uma instancia 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 |
|