No TPTP formula. May not be expressible in strict first order. |
People.kif 1188-1188 |
例 复臨 and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1221-1221 |
例 英國國教 and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1194-1194 |
例 浸禮者 and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1243-1243 |
例 東正教基督教 and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1191-1191 |
例 聖公會 and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1200-1200 |
例 路德 and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1203-1203 |
例 衛 and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1185-1185 |
例 摩門教 and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1197-1197 |
例 五旬節 and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1206-1206 |
例 Presbyterian and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1257-1257 |
例 新教 and 基督教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1271-1271 |
例 羅馬天主教徒 and 基督教 |
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 |
|