No TPTP formula. May not be expressible in strict first order. |
People.kif 1188-1188 |
复临 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1221-1221 |
英国国教 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1194-1194 |
浸礼者 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1243-1243 |
东正教基督教 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1191-1191 |
圣公会 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1200-1200 |
路德 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1203-1203 |
卫 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1185-1185 |
摩门教 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1197-1197 |
五旬节 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1206-1206 |
Presbyterian 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1257-1257 |
新教 是 基督教 的 instance |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1271-1271 |
罗马天主教徒 是 基督教 的 instance |
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 |
|