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