No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16813-16813 |
争论 详尽无遗地 partition 成 演绎论证 和 归纳论证 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16858-16858 |
说明 是 演绎论证 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16853-16853 |
无效的演绎论证 是 演绎论证 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16838-16838 |
有效的演绎论证 是 演绎论证 的 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 |
|