No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16835-16835 |
争论 详尽无遗地 partition 成 演绎论证 和 归纳论证 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16880-16880 |
说明 是 演绎论证 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16875-16875 |
无效的演绎论证 是 演绎论证 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16860-16860 |
有效的演绎论证 是 演绎论证 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18840-18840 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18839-18839 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18838-18838 |
|