No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16835-16835 |
劃分 爭論, 演繹論證 and 歸納論證 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16880-16880 |
子類 說明 and 演繹論證 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16875-16875 |
子類 無效的演繹論證 and 演繹論證 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16860-16860 |
子類 有效的演繹論證 and 演繹論證 |
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 |
|