No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1387-1387 |
例 文章類別 and 文件類別 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1395-1395 |
例 圖書館模型類別 and 文件類別 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1383-1383 |
例 解決了示例類別 and 文件類別 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1391-1391 |
例 教程類別 and 文件類別 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20064-20064 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20063-20063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20062-20062 |
|